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


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