آناکسیماندر (610 BC – present) برابر انگلیک (انگلیسی): Anaximander تاربرگهای پیمودهشده در این نشست: Avicenna ⟩ dialetheia ⟩ Axiom of choice