تاربرگ‌های پیموده‌شده در این نشست: Axiom of the union Axiom of choice antisymmetric Axiom of infinity Arthur Norman Prior Axiom of pairing