تاربرگ‌های پیموده‌شده در این نشست: associativity Afshin Pouria Axiom of Empty set antisymmetric