Modal Axiom Trivail
دیسه‌ای
𝐴 ≡ □𝐴
A ≡ □A


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