# complete, incomplete

**Complete and incomplete**

Complete means every statement you can write in the system’s language gets settled: either the statement or its opposite can be proven. Incomplete means at least one statement exists where the system can prove neither it nor its opposite.

So incomplete just means there is at least one statement the system cannot prove (and cannot disprove). Most statements, primes included, are settled in the normal way.

Connects to:
- [the judge](https://mapideas.org/i/w_judge)
- [free certainty](https://mapideas.org/i/w_free)
- [what it says](https://mapideas.org/i/th_says)
- [primes: provable](https://mapideas.org/i/s_primes)

Sources:
- [Wikipedia: Completeness (logic)](https://en.wikipedia.org/wiki/Completeness_(logic))

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