 ##  [Théorème de Łoś](/index.php/fr/node/60084) 

  ##  [Théorème de Łoś](https://mathlogic.quantumdictionary.io/fr/node/60085) 

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

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Définition

Le théorème de transfert affirmant qu'une formule du premier ordre est vraie dans un ultraproduit (ou ultrapouvoir) si et seulement si l'ensemble des indices où la formule est vraie dans les facteurs appartient à l'ultrafiltre choisi.