Assertion


تاربرگ‌های پیموده‌شده در این نشست: Absorption law ⟩ Proof theorists ⟩ Axiom of Extensionality ⟩ Clifford Stein ⟩ Set theory ⟩ Pyotr Sergeyevich Novikov