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


تاربرگ‌های پیموده‌شده در این نشست: بایستگی‌گرایی ⟩ کم‌زور‌سازی ⟩ گویایی آموزگاهی ⟩ آزندی بر افماریک گزاره‌ای درون‌یافت‌گروی ⟩ سهش همدار