1900 йылда Икенсе Халыҡ-ара математик конгресында Гильберт хәл ителмәгән егерме өс проблеманың исемлеген билдәләй, был исемлек бөтә ХХ быуат дауамында математиктар өсөн бер эш йүнәлеше була. Пуанкаре һәм башҡа интуционистар менән бәхәскә инеп, Гильберт шулай уҡ ҡыҫҡаса үҙенең фәнни философияһын асып һала. Ул ниндәй булһа ла математик проблемаһы хәл ителә ала, тип һанай һәм физиканы аксиомлаштырыуға күсергә саҡыра .