Comment by Maxatar

There is no infinite regression involved in any of Godel's theorems.