تاربرگ‌های پیموده‌شده در این نشست: Axiom of Extensionality ⟩ identity element ⟩ axiomatization ⟩ perception ⟩ idempotent ⟩ magma