Title: Number theory and Mathematical Logic : Formal Number Theory II