This accessible book gives a new detailed and elementary proof of the Gödel incompleteness theorems and then presents the Chaitin results and their relation to the da Costa-Doria results, which are given in full, but with no technicalities.