The Incompleteness Theorem
Martin Goldstern, Haim Judah · 2018
In a first approach, we can paraphrase this theorem by saying that the usual axioms for number theory, introduced by Peano and Dedekind (see section 4.2) are an incomplete axiomatic system. This means that there is a sentence