Go¨del’s Incompleteness Theorem

Go¨del’s Incompleteness Theorem (actually there are two of them) is a theorem about axiomatic theories — first order axiomatic theories. It tells us that if such a theory has enough in the way of language and axioms — enough, that is, to capture basic high-school arithmetic — then it cannot prove all the true statements in that language.