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


تاربرگ‌های پیموده‌شده در این نشست: Avicenna ⟩ dialetheia ⟩ Axiom of choice ⟩ Anaximander ⟩ Avicenna ⟩ Abelian Group