The Implications of Gödel’s Theorem
Joseph R Lucas · 2002
Gödel’s theorem holds for any first-order theory that formalises the ordinary arithmetic of the natural numbers-in particular it holds of first-order Peano Arithmetic-and proves that it is incomplete and undecidable.