Skolem-Paradoxon

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.