EntityQ2762418· pop 13· linked from 476 articlesformal proofSign in to saveestablishment of a theorem using inference from the axiomsConnectionsformal systemEntitysemantic theory of truthEntitymathematical logicEntitysemanticsEntitysequenceEntitypropositionEntitystringEntityfirst-order logicEntitylogical consequenceEntityrule of inferenceEntityrecursive setEntityautomated theorem provingEntitysemantics of logicEntityundecidable problemEntitystructureEntityproof assistantEntityground expressionEntitydiagramEntitymathematicsEntitylogicEntityCategoriesFormal languagesFormal systemsLogical truthProof theorySyntax (logic)