IL.K.11
دیسه‌ای
∀𝑥𝜙(𝑥) → 𝜙(𝑡)
∀x𝜙(x) → 𝜙(t)


تاربرگ‌های پیموده‌شده در این نشست: asymmetric ⟩ automaton ⟩ many-valued ⟩ Provability logic ⟩ Naming and Necessity ⟩ Axiom of Extensionality