Peano arithmetics


تاربرگ‌های پیموده‌شده در این نشست: prime number ⟩ Paul the Persian ⟩ Axiom of the power set ⟩ Archimedes ⟩ Axiom of the union ⟩ Augustus De Morgan