Gracias a ese predicado el conjunto de números descritos por el lenguaje forman se puede dividir en "elementos estándar" para los cuales ("r" es estándar si st("r") es cierto) y "elementos no estándar" ("r" es no estándar si ¬st("r") es cierto).