تاربرگ‌های پیموده‌شده در این نشست: Axiom of Empty set ⟩ asymmetric ⟩ Axiom of Foundation ⟩ Aristotle’s Logic