تاربرگ‌های پیموده‌شده در این نشست: Socrates ⟩ axiomatization ⟩ natural number ⟩ Closure algebra ⟩ natural numbers ⟩ Hans Reichenbach