Modal Axiom 4
دیسه‌ای
□𝐴⊃□□𝐴
□A⊃□□A


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