EntityQ5358906· pop 5· linked from 316 articleselementary function arithmeticSign in to savesystem of arithmetic in proof theiryConnectionssemantic theory of truthEntitymathematical logicEntityPeano axiomsEntityfirst-order logicEntityformal systemEntityrecursive setEntitysemantics of logicEntityfree and bound variablesEntitystructureEntityground expressionEntitydiagramEntitylogicEntityInternational Standard Book NumberEntityset theoryEntityfunctionEntitysetEntityaxiomEntitydigital object identifierEntityInternational Standard Serial NumberEntitytheoremEntityCategoriesConjecturesFormal theories of arithmeticProof theory