Assertion


تاربرگ‌های پیموده‌شده در این نشست: Modal Axiom K ⟩ Logic B ⟩ Archimedes ⟩ Aristotle ⟩ transitive