Modelo No Estándar

Un modelo de una teoría formal que satisface todos los axiomas de la teoría pero que contiene elementos o relaciones no presentes en la interpretación 'estándar' prevista, a menudo producido por construcciones model-teóricas como la compacidad o ultraproductos.