Nótese que en esta expresión no aparece el predicado "estándar" st(·), y por tanto es formalizable en la teoría ordinaria, mientras que la noción de número ilimitado no es formalizable en la teoría ordinaria por carecer esta teoría del predicado st(·).