El modelo estándar mínimo incluye a todos los números algebraicos y a todos los números trascendentales efectivamente computables, así como a muchos otros tipos de números.