# Gödel's second incompleteness theorem

> theorem that no formal system capable of basic arithmetic can prove its own consistency

**Wikidata**: [Q1031460](https://www.wikidata.org/wiki/Q1031460)  
**Source**: https://4ort.xyz/entity/g-del-s-second-incompleteness-theorem