🌐EnglishEnglishDeutschEspañolItalianoPortuguêsSvenskaРусский中文日本語EntityQ13424667· pop 9· linked from 36 articlesHilbert's second problemone of twenty-three, asking to prove the consistency of arithmetic axiomsAvailable in 9 languagesEspañolDeutsch中文日本語РусскийPortuguêsGreekSvenskavia Wikidata sitelinks · CC0Connectionssemantic theory of truthEntitymathematical logicEntityCategoriesHilbert's problems