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.

Prinzip

Symmetrie und Ununterscheidbarkeit großer endlicher Strukturen unter der gewählten Verteilung zwingen jede definierbare Eigenschaft dazu, fast sicher zu gelten oder fast sicher nicht zu gelten; kombinatorische Konzentration und lokal begrenzte Äquivalenzen sind die treibenden Mechanismen.

Demonstration

Im Erdős–Rényi‑Modell G(n,1/2) und für die Prädikatenlogik erster Stufe besitzt jede FO‑Formel eine Grenzwahrscheinlichkeit von 0 oder 1 für n → ∞; Beweise verwenden Rang‑lokalität von Quantoren und Erweiterungsaxiome, um zu zeigen, dass große Graphen mit hoher Wahrscheinlichkeit dieselben endlichen lokalen Bedingungen erfüllen.

Fehlanwendung

Zu behaupten, ein Null‑Eins‑Gesetz gelte für stärkere Logiken (z. B. vollständige zweite Stufe) oder für andere Wahrscheinlichkeitsregime (sehr dünne Graphen p = c/n), ohne die Voraussetzungen zu prüfen; das führt zu falschen Schlüssen über fast sichere Eigenschaften.

Konsequenz

Ist es anwendbar, reduziert es die asymptotische Untersuchung definierbarer Eigenschaften auf eine binäre Einordnung (fast sicher vs. fast nie) und erleichtert typische Fallbetrachtungen sowie den Transfer modelltheoretischer Grenzergebnisse in die probabilistische Kombinatorik.

Umkehrung

Ein nichttriviales Grenzgesetz, bei dem manche Formeln Grenzwahrscheinlichkeiten strikt zwischen 0 und 1 haben (Konvergenzgesetz), oder ein Regime ohne Grenzwahrscheinlichkeiten; diese Fälle zeigen reichere asymptotische Variabilität.

Abgrenzung

Hängt ab von der Sprache (erste Stufe erfüllt unter klassischen Verteilungen oft das Gesetz), dem Wahrscheinlichkeitsmodell (dicht vs. dünn) und der Signatur; viele Fragmente oder alternative Maße liegen außerhalb des Gültigkeitsbereichs.

Semantische Spannung

Spannung zwischen ‚fast sicher‘ (maßtheoretische Determiniertheit) und relevanter struktureller Variation: Eine Eigenschaft mit Maß 1 kann typische Struktur bestimmen, doch das 0‑1‑Zusammenfallen verschleiert quantitative Häufigkeiten und Konvergenzraten.

Synthese

Das Null‑Eins‑Gesetz fasst zusammen, wie unter symmetrieerhaltenden Zufallsmodellen und beschränkten Ausdrucksmitteln Definierbarkeit und probabilistische Konzentration dazu führen, dass jede Formel fast immer gilt oder fast nie gilt, während Ausnahmen durch stärkere Logiken oder veränderte Verteilungen entstehen.