##  [Modèle Atomique](/fr/node/61005) 

  ##  [Modèle Atomique](https://mathlogic.quantumdictionary.io/fr/node/61006) 

  

 [![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 dans lequel chaque tuple fini réalise un type atomique (principal) sur l'ensemble vide ; de façon équivalente, chaque tuple fini possède une formule complète isolant son type, de sorte que les types sur ∅ sont déterminés par des formules uniques.

 

 

 

 

 





 

 



 ##  [Modèle Atomique](https://algebra.quantumdictionary.io/fr/node/63598) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Un modèle dénombrable (plus généralement un modèle d'une taille donnée) est atomique si tout tuple fini du modèle réalise un type isolé par une formule unique ; de façon équivalente, les types complets réalisés sont des points isolés dans les espaces de types concernés.