Leopold Löwenheim (1915) and Thoralf Skolem (1920) obtained the Löwenheim–Skolem theorem, which says that first-order logic cannot control the cardinalities of infinite structures.
Leopold Löwenheim (1915) og Thoralf Skolem (1920) nåede frem til Löwenheim–Skolem-teoremet, der siger at førsteordens prædikatlogik ikke kan kontrollere kardinaliteterne af infinitte strukturer.