Mention907996
Download triplesrdf:type | qkg:Mention |
so:text | The completeness theorem, mathematically, is indeed an almost trivial consequence of Skolem 1923a. However, the fact is that, at that time, nobody drew this conclusion . (en) |
so:isPartOf | https://en.wikiquote.org/wiki/Kurt_G%C3%B6del |
qkg:hasContext | qkg:Context447729 |
Property | Object |
---|
Triples where Mention907996 is the object (without rdf:type)
qkg:Quotation860248 | qkg:hasMention |
Subject | Property |
---|