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