thanks for the breakdown. the example of a Godel statement is usually given in terms of set theory. ("S is the set of all sets that do not contain themselves. Does S contain itself?") or binary logic. ("this statement is false"). Do you know of an example in arithmetic?