Home›Hilbert's problems›برنامج هلبرت🌐العربيةEnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoNederlandsPortuguêsTürkçeРусскийالعربيةفارسی한국어中文日本語EntityQ968548· pop 19· linked from 37 articlesبرنامج هلبرت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