EntityQ15846555· pop 14· linked from 144 articlescompletenessSign in to savefundamental concept in metalogic, and the term may be used without qualification with differing meanings depending on the context within mathematical logicConnectionssemantic theory of truthEntitymathematical logicEntityPeano axiomsEntityfirst-order logicEntityformal systemEntityrecursive setEntitysemantics of logicEntityelementary equivalenceEntitystructureEntityground expressionEntitydiagramEntitylogicEntityInternational Standard Book NumberEntityset theoryEntityfunctionEntitysetEntityaxiomEntitytheoremEntityElementsEntityvariableEntityCategoriesMathematical logicMetalogicModel theoryProof theory