Son Se pueden construir más variables añadiendo el símbolo primo después de ellas; por ejemplo En la versión más rígida del TNT, conocida como TNT "austero", solo se utilizan En Teoría de los Números Tipográfica, se utilizan los símbolos habituales de "+" para adición, y "·" para multiplicaciones.
Cualquier laxitud violaría el sistema de formación de TNT (aunque se demuestra trivialmente que este formalismo es innecesario para las operaciones que son a la vez conmutativas y asociativas).
Se define mediante el símbolo "=" y tiene aproximadamente el mismo significado que en matemáticas.
Si x e y son fórmulas bien formadas, y siempre que ninguna variable libre en una esté cuantificada en la otra, entonces las siguientes son todas fórmulas bien formadas Ejemplos: El estado de cuantificación de una variable no cambia aquí.
("No existe un número c tal que c más uno sea igual a cero", o más en sentido figurado, "El cero no es el sucesor de ningún número (natural)").