The completeness theorem, mathematically, is indeed an almost trivial consequence of Skolem 1923a. However, the fact is that, at that time, nobody (including Skolem himself) drew this conclusion (neither from Skolem 1923a nor, as I did, from similar considerations of his own).

Another quote →

More quotes by Kurt Gödel

All Kurt Gödel quotes →

Attribution

Quote text and notes from Wikiquote: Kurt Gödel (page history), available under CC BY-SA 4.0. Source quality and labels are our own summary of what Wikiquote records.