Modal Theorem 4.1

دیسه‌ای
□□𝐴≡□𝐴
□□A≡□A


تاربرگ‌های پیموده‌شده در این نشست: Modal Axiom K