EntityQ1451046· pop 19· linked from 372 articlesGödel numberingSign in to saveassignment of each symbol and well-formed formula of a formal language a unique natural numberConnectionssemantic theory of truthEntitymathematical logicEntityPeano axiomsEntityfirst-order logicEntityformal systemEntityrecursive setEntitysemantics of logicEntitystructureEntityground expressionEntitydiagramEntitylogicEntityInternational Standard Book NumberEntityalgorithmEntitynatural numberEntityprime numberEntityset theoryEntityfunctionEntitysetEntityaxiomEntitysymbolEntityCategoriesMathematical logicTheory of computationWorks by Kurt Gödel