Axiom of infinity


تاربرگ‌های پیموده‌شده در این نشست: Arthur Norman Prior ⟩ Augustus De Morgan ⟩ Archimedes ⟩ Axiom of pairing ⟩ antisymmetric