Besonderhede van voorbeeld: 2713323074413222166

English

In 1920, he greatly simplified the proof of a theorem Leopold Löwenheim first proved in 1915, resulting in the Löwenheim–Skolem theorem, which states that if a countable first-order theory has an infinite model, then it has a countable model.

Dutch

In 1920 vereenvoudigde hij sterk het bewijs van een stelling, die Leopold Löwenheim in 1915 voor het eerst had bewezen, wat resulteerde in de stelling van Löwenheim-Skolem, die stelt dat als een eerste-orde theorie een oneindig model heeft, het ook een aftelbaar model heeft.