Löwenheim–Skolem theorem
Teorema de Löwenheim-Skolem
- Date
- 1915 · confidence high
- Place
- Berlin, Germany
- Credited to
- Thoralf Skolem y Leopold Löwenheim
- Field
- Knowledge & symbols
What was discovered
A mathematical-logic theorem stating that any countable first-order theory with an infinite model has models of every infinite cardinality, formulated by Leopold Löwenheim and generalized by Thoralf Skolem.
What it led to
- Model theory
- Skolem's paradox in set theory
- Foundations of mathematical logic
- Expressive limits of first-order logic