Axiom schema of separation
دیسه‌ای
Γ, 𝐴, 𝐴 ⊢ Σ
Γ, 𝐴 ⊢ Σ
Γ, A, A ⊢ Σ
Γ, A ⊢ Σ


تاربرگ‌های پیموده‌شده در این نشست: Logic R ⟩ Sequent calculus ⟩ Logic B ⟩ What is Logic? ⟩ Axiom of pairing ⟩ Metaphysics, A Contemporary Introduction