(Los numerales son los símbolos que utilice el lenguaje de la teoría para especificar los números naturales concretos.