Maths is self sufficient with the proof given in the image and Godel is agreeing that he lied that maths is incomplete