Modèle Non Standard

Un modèle d'une théorie formelle qui satisfait tous les axiomes de la théorie mais contient des éléments ou des relations absentes de l'interprétation 'standard' prévue, souvent construit par des techniques model-théoriques telles que la compacité ou les ultraproduits.