Go¨del’s Incompleteness Theorem
S. Barry Cooper, S. Barry Cooper · 2017
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.