##  [Skolem-Paradoxon](/index.php/de/node/60119) 

  ##  [Skolem-Paradoxon](https://mathlogic.quantumdictionary.io/de/node/60120) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/index.php/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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.