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


تاربرگ‌های پیموده‌شده در این نشست: لوسین ⟩ بنداشتش هیتینگ ⟩ گویایی سویی چندی‌گذارده