Modal Axiom K
دیسه‌ای
□(𝐴⊃𝐵)⊃(□𝐴 ⊃□𝐵 )
□(A⊃B)⊃(□A ⊃□B )


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