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


تاربرگ‌های پیموده‌شده در این نشست: دیسول بسته ⟩ system ⟩ جبر سویی ⟩ آگاهشی ⟩ بنداشت D ⟩ گویایی بسیار ارزشی