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


تاربرگ‌های پیموده‌شده در این نشست: پذیرفتنی ⟩ گزاره‌ای ⟩ ماشین خودکار ⟩ پارادخش‌های درتاهش ماتکی ⟩ A⥽(B⥽B)