IL.K.11

برابر انگلیک (انگلیسی): IL.K.11
دیسه‌ای
∀𝑥𝜙(𝑥) → 𝜙(𝑡)
∀x𝜙(x) → 𝜙(t)