تاربرگ‌های پیموده‌شده در این نشست: Arthur Norman Prior Augustus De Morgan Archimedes Axiom of pairing antisymmetric Axiom of infinity