EntityQ2395230· pop 12· linked from 403 articlessyntaxSign in to saverules used for constructing or transforming the symbols of a formal languageConnectionsformal systemEntitysemantic theory of truthEntitymathematical logicEntitysemanticsEntitypropositional calculusEntitypropositionEntityGödel's incompleteness theoremsEntityformal languageEntitystringEntityfirst-order logicEntityrule of inferenceEntityrecursive setEntitysemantics of logicEntitystructureEntityground expressionEntitydiagramEntitylogicEntitycomputer scienceEntityalphabetEntitytruthEntityCategoriesConcepts in logicFormal languagesMetalogicPhilosophy of logicSyntax (logic)