Metadata
Author: WikiMatrix
Data
Danish[da]
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.
Hungarian[hu]
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.