The second theorems of [Gödel's incompleteness theorems](/pages/G%C3%B6del's%20incompleteness%20theorems.txt) states that the system cannot demonstrate its own consistency.

## See also

- [Gödel's first incompleteness theorem](/pages/G%C3%B6del's%20first%20incompleteness%20theorem.txt)