EntityQ968548· pop 19· linked from 37 articlesHilbert's programSign in to saveattempt to formalize all of mathematics, based on a finite set of axiomsConnectionsfoundations of mathematicsEntitymathematicsEntityarithmeticEntityDavid HilbertEntityaxiomEntityGermansEntityKurt GödelEntityInternational Standard Serial NumberEntitymathematical logicEntityEuclidean geometryEntityanalytic geometryEntityOCLC, Inc.EntityGödel's incompleteness theoremsEntityformal languageEntityAlfred TarskiEntityreal analysisEntityordinal numberEntityStanford Encyclopedia of PhilosophyEntityfirst-order logicEntityPeano axiomsEntityCategoriesHilbert's problemsMathematical logicProof theory