بنداشت K دیسهای □(𝐴⊃𝐵)⊃(□𝐴 ⊃□𝐵 )□(A⊃B)⊃(□A ⊃□B ) تاربرگهای پیمودهشده در این نشست: Socrates ⟩ axiomatization ⟩ natural number ⟩ Closure algebra ⟩ natural numbers ⟩ Hans Reichenbach