EntityQ792542· pop 27· linked from 491 articlesaxiomatic systemSign in to saveset of axioms from which some or all axioms can be used in conjunction to logically derive theoremsConnectionssemantic theory of truthEntityEuclidean geometryEntityfirst-order logicEntitymathematicsEntityset theoryEntityaxiomEntitymathematical logicEntitygroup theoryEntitydeductive reasoningEntitynumber lineEntityBanach spaceEntitycompact spaceEntityfinite fieldEntityuniversal algebraEntityPrincipia MatheEntityHausdorff spaceEntityformal systemEntityconsistencyEntityZermelo–Fraenkel set theoryEntityHilbert's axiomsEntityCategoriesFormal systemsMathematical axiomsMethods of proof