Your third paragraph under “Gödel Machines” is cut off at the end:
its own consistency (as we must when proving
Your third paragraph under “Gödel Machines” is cut off at the end: