Anaximander

(610 BC – present)


تاربرگ‌های پیموده‌شده در این نشست: Admissible rule Axiom of Empty set axiomatization