Deduction theorem
(1920)
دیسه‌ای
Γ, 𝜙 ⊦ 𝜓 ⇒ Γ ⊦ 𝜙⊃𝜓
Γ, 𝜙 ⊦ 𝜓 ⇒ Γ ⊦ 𝜙⊃𝜓


تاربرگ‌های پیموده‌شده در این نشست: Contingentism ⟩ Axiom of Replacement ⟩ extensional ⟩ faculty ⟩ Jakarta Enterprise ⟩ Contingentism