Modal Axiom Geach
دیسه‌ای
□(□𝜙⊃𝜓)∨□(□𝜓⊃𝜙)
□(□𝜙⊃𝜓)∨□(□𝜓⊃𝜙)


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