بنداشت D

همچنین شناخته شده با: اصل D
برابر انگلیک (انگلیسی): Modal Axiom D
دیسه‌ای
□𝐴⊃◊𝐴
□A⊃◊A


تاربرگ‌های پیموده‌شده در این نشست: بنداشت ناپادگویی پایگاه‌های داده On a Property of the Collection of All Real Algebraic Numbers