Loi Zéro-Un

Phénomène en logique probabiliste et théorie des modèles finis : pour un langage logique fixé et une loi de probabilité sur les structures finies (par exemple uniforme sur les structures à n éléments ou les graphes G(n,p)), chaque formule a une probabilité limite lorsque la taille croît, et la Loi Zéro‑Un affirme que cette limite vaut toujours 0 ou 1.