Null-Eins-Gesetz

Ein Phänomen in probabilistischer Logik und endlicher Modelltheorie: Für eine feste logische Sprache und eine Wahrscheinlichkeitsverteilung auf endlichen Strukturen (z. B. uniform auf n‑elementigen Strukturen oder G(n,p)-Graphen) hat jede Formel eine Grenzwahrscheinlichkeit bei wachsendem n, und das Null‑Eins‑Gesetz besagt, dass diese Grenzwahrscheinlichkeit stets 0 oder 1 ist.