The Implications of Gödel’s Theorem

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.