##  [Modèle Non Standard](/fr/node/60123) 

  ##  [Modèle Non Standard](https://mathlogic.quantumdictionary.io/fr/node/60124) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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.