# the conditions

**The conditions a system must meet for Gödel’s theorems to apply**

The theorem is conditional. It needs rules that a computer can check, enough arithmetic (addition and multiplication together), and consistency. It says nothing about systems that fail these.

Every use of the theorem outside mathematics has to show that its system meets all three.

Connects to:
- [second theorem](https://mapideas.org/i/th_second)
- [checkable or not](https://mapideas.org/i/c_check)
- [the threshold](https://mapideas.org/i/s_thr)
- [fixed means checkable](https://mapideas.org/i/r_fixed)
- [what a system is](https://mapideas.org/i/s_sys)
- [the triangle](https://mapideas.org/i/r_tri)
- [a test for claims](https://mapideas.org/i/c_test)

Sources:
- [Stanford Encyclopedia of Philosophy: Gödel’s Incompleteness Theorems](https://plato.stanford.edu/entries/goedel-incompleteness/)

Source: https://mapideas.org/i/th_cond · open on the map: https://mapideas.org/#th_cond