Die scheinbare Spannung, dass die Prädikatenlogik erster Ordnung zählbare Modelle von Theorien zulässt, die intern die Existenz überabzählbarer Mengen behaupten; sie ergibt sich aus dem Löwenheim–Skolem-Theorem und der Relativität von ‚abzählbar‘ innen gegenüber außen am Modell.

Prinzip

Das ordnende Prinzip ist, dass Erstordnungsaxiome Kardinalitäten nicht absolut bestimmen können: das untere Löwenheim–Skolem-Theorem liefert kleine (häufig zählbare) Modelle bei zählbarer Sprache, sodass interne Aussagen über Größe mit der externen Kardinalität eines Modells in Konflikt geraten können.

Demonstration

Zermelo–Fraenkel-ähnliche Axiome in erster Ordnung können aufgrund von Löwenheim–Skolem ein zählbares Modell besitzen; innerhalb dieses Modells sind einige Mengen 'überabzählbar' relativ zu dessen internen Bijektionen, obwohl das Modell von außen betrachtet zählbar ist.

Fehlanwendung

Aus dem Paradoxon zu schließen, dass überabzählbare Mengen nicht existieren oder Cantors Ergebnisse falsch seien; oder zu behaupten, das Paradoxon untergrabe die Mengenlehre, statt die Unterscheidung zwischen interner und externer Perspektive auf Kardinalität zu illustrieren.

Konsequenz

Es macht deutlich, dass modelltheoretische Existenzresultate relativ sind: man muss zwischen interner Kardinalität und äußerer Modellgröße unterscheiden, und es motiviert die Verwendung stärkeren Logiken oder semantischer Einschränkungen (z. B. volle Zweitordnungssemantik), wenn man absoluten Zugriff auf Kardinalitäten wünscht.

Umkehrung

Wechselt man zu einer Logik mit kategorialen Axiomatisierungen in der intendierten Kardinalität oder übernimmt man die volle Zweitordnungssemantik, verschwindet die Spannung, da Modelle, die sich extern über Kardinalitäten unterscheiden, dann ausgeschlossen sind.

Abgrenzung

Betrifft Theorien erster Ordnung in zählbaren Signaturen und beruht auf Löwenheim–Skolem; es gilt nicht in gleicher Weise für Theorien mit voller Zweitordnungssemantik oder für Aussagen über Kardinalitäten, die in einem reicheren Metasprachformalismus ausgedrückt werden.

Semantische Spannung

Spannung zwischen Vollständigkeits-/Kompaktheitseigenschaften des ersten Ordungs und der intuitiven, absoluten Vorstellung von ‚überabzählbar‘ in der mathematischen Praxis; das Paradoxon fordert die Wahl zwischen modelltheoretischer Allgemeinheit und intendierter kategorialer Semantik.

Synthese

Das Skolem-Paradoxon zeigt, dass erstordnungslogische Formalisierungen Modelle erlauben, deren äußere Größe von den intern validierten Größenangaben abweicht; Aussagen über Kardinalitäten sind relativ zum inneren Blick des Modells zu lesen oder man muss die Logik stärken, um absolute Kontrolle über Größen zu gewinnen.