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 (1918) és Thoralf Skolem (1919) mondták ki a Löwenheim–Skolem tételt, miszerint az elsőrendű logika nem képes értelmezni a végtelen struktúrák számosságát.