برنامه‌ی هیلبرت
برابر انگلیک (انگلیسی): Hilbert's program


تاربرگ‌های پیموده‌شده در این نشست: دستور هروینیدن ⟩ Löb's theorem ⟩ اُستاهنده ⟩ ماشین خودکار ⟩ استواره دوم بَوَندَگی گودل ⟩ پادگویی