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


تاربرگ‌های پیموده‌شده در این نشست: Group ⟩ theory ⟩ subset