شاید این بینش در اثر صحبتهای طولانی او با کورت گودل به وجود آمده بود، اولین بار گودل بود که ثابت کرد قضایای اثباتپذیر در ریاضی زیرمجموعه قضایای صادقی هستند که هرگز در چارچوب ریاضیات نمیتوان آنها را اثبات کرد
کد خبر: ۱۲۰۳۸۸۸ تاریخ انتشار : ۱۴۰۲/۰۹/۲۲