En el análisis no estándar pueden definirse números que intuitivamente se comportan como números infinitos gracias al predicado st(·) "· es estándar".