תוכנית הילברט

כל מה שרצית לדעת על תוכנית הילברט:
תוכנית הילברט‏ הייתה תוכנית שנהגתה בשנות העשרים של המאה ה-20 על ידי דויד הילברט במטרה לבסס באופן ריגורוזי ופורמלי את כל ענפי המתמטיקה.

נלקח מויקיפדיה

הגדרות נוספות הקשורות לתוכנית הילברט:
•היסטוריה של המתמטיקה
•פילוסופיה של המדע
•תורת הקבוצות
•תוכניות מתמטיות