بنداشت ناپادگویی برابر انگلیک (انگلیسی): Begründung Einer Strengen implikation دستاندرکاران: گسترشها ویلهلم آکرمان (1896 – 1962) جستارهای پیونددار گوییکهای پیوند تاربرگهای پیمودهشده در این نشست: On a Property of the Collection of All Real Algebraic Numbers ⟩ جان ام. ای. مکتاگارات ⟩ بنداشت ناپادگویی