گوییک آوین‌پذیری
همچنین شناخته شده با: منطق اثبات پذیری
برابر انگلیک (انگلیسی): Modal Axiom 4.2 Modal Axiom Convergent
دیسه‌ای
◊□𝐴⊃□◊𝐴
◊□A⊃□◊A


تاربرگ‌های پیموده‌شده در این نشست: Modal Axiom Sobocinsky ⟩ گوییک آوین‌پذیری