Title: Number theory and Mathematical Logic : Formal Proof