Axiom of Replacement


تاربرگ‌های پیموده‌شده در این نشست: absolute ⟩ Principle of sufficient reason ⟩ Archimedes ⟩ asymmetric ⟩ A⥽(B∨¬B) ⟩ Axiom of Extensionality