# Gödel's incompleteness theorems

> theorem that a wide class of logical systems cannot be both consistent and complete

**Wikidata**: [Q200787](https://www.wikidata.org/wiki/Q200787)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Gödel's_incompleteness_theorems)  
**Source**: https://4ort.xyz/entity/g-del-s-incompleteness-theorems


## References

1. [Nuovo soggettario](https://thes.bncf.firenze.sbn.it/termine.php?id=33340)
2. Nuovo soggettario
3. Freebase Data Dumps. 2013
4. Integrated Authority File
5. BBC Things
6. [Gödel's incompleteness theorems - RationalWiki](https://rationalwiki.org/wiki/G%C3%B6del%27s_incompleteness_theorems)
7. National Library of Israel
8. [OpenAlex](https://docs.openalex.org/download-snapshot/snapshot-data-format)