Anaximenes

(585 BC – 528 BC)


تاربرگ‌های پیموده‌شده در این نشست: logical truth Formal System integration Clifford Stein natural number assertoric