Anaximander
(610 BC – present)


تاربرگ‌های پیموده‌شده در این نشست: Admissible rule ⟩ axiomatization ⟩ affirm ⟩ A⥽(B⥽B) ⟩ Axiom of pairing