Robinson inventó un nuevo predicado unario: ""estándar"" y de ahí se presenta dos casos: un número "x" es estándar o no lo es, en relación a esto, es muy importante la siguiente distinción entre propiedad interna y externa: