Axiom of pairing


تاربرگ‌های پیموده‌شده در این نشست: An Introduction to Non-Classical Logic ⟩ absolute ⟩ A⥽(B∨¬B) ⟩ antisymmetric ⟩ A⥽(B⥽B) ⟩ Archimedes