در سال 1931، گودل در مقاله دیگری نشان داد که عبارات درستی در حوزه اعداد طبیعی وجود دارد که درستی آنها قابل اثبات نیست (به عبارت دیگر، او نشان داد که هویت هایی در ریاضیات وجود دارند که اگرچه 
گزینه‌ها:
او در اکتبر 2001، در سخنرانی خود تحت عنوان «ایمان و دانش»، سه الگوی رایج در تفسیر سکولارسازی را برشمرده، هر سه را غلط می انگارد.
من نمی‌پذیرم که چون جنس خاطرات ایشان این‌طور است و کار نمی‌توانسته به شکل دیگری دربیاید پس درست هم هست.
از اصول نظریه اعداد طبیعی تبعیت می کنند، اما رفتاری متفاوت از این اعداد دارند).
حتی در میان فرهیختگان جامعه نیز رمز عددی چهل همچنان موضوع توجه و حائز ظهور و بروزهای بسیار است.
جملهٔ کامل: در سال 1931، گودل در مقاله دیگری نشان داد که عبارات درستی در حوزه اعداد طبیعی وجود دارد که درستی آنها قابل اثبات نیست (به عبارت دیگر، او نشان داد که هویت هایی در ریاضیات وجود دارند که اگرچه از اصول نظریه اعداد طبیعی تبعیت می کنند، اما رفتاری متفاوت از این اعداد دارند).