EntityQ5358910· pop 8· linked from 34 articlesElementary proofSign in to saveMathematical proof using only basic techniques.Connectionssemantic theory of truthEntitymathematical logicEntityfirst-order logicEntityformal systemEntityrecursive setEntitysemantics of logicEntitystructureEntityelementary function arithmeticEntityground expressionEntitydiagramEntitymathematicsEntitylogicEntityintegerEntityset theoryEntityfunctionEntitynumber theoryEntitysetEntityaxiomEntitymathematical proofEntitydigital object identifierEntityCategoriesElementary mathematicsMathematical proofs