Home›Hilbert's problems›Hilbert programı🌐TürkçeEnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoNederlandsPortuguêsTürkçeРусскийالعربيةفارسی한국어中文日本語EntityQ968548· pop 19· linked from 37 articlesHilbert programıattempt to formalize all of mathematics, based on a finite set of axiomsAvailable in 19 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoالعربيةBahasa IndonesiaConnectionsfoundations of mathematicsEntitymathematicsEntityCategoriesHilbert's problemsMathematical logicProof theory