En el seno del análisis no estándar se introduce un predicado nuevo st(·) y tres nuevos axiomas que describen el uso de dicho predicado.