پادهمامون
دیسه‌ای
(𝑥 ≼ 𝑦 𝑎𝑛𝑑 𝑦 ≼ 𝑥) ⇒ 𝑥=𝑦
(x ≼ y and y ≼ x) ⇒ x=y


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