First Incompleteness Theorem: “Any consistent formal systemFwithin which a certain amount of elementary arithmetic can be carried out is incomplete; i.e., there are statements of the language ofFwhich can neither be proved nor disproved inF.” (Raatikainen 2015)

## References

Gödel’s incompleteness theorems