On Sep 30, 4:01 pm, stevendaryl3...@yahoo.com (Daryl McCullough) wrote: > If G' means the Godel code of G, then G' is a natural number, > not a statement. So it isn't at all clear what the infinite > sequence G, G', G'',... means. If G' is the Godel code of G, > then what is G''?
G'' is the Goedel code of G' expressed in the Goedel code of G'. If statements can be about Goedel numbers, then Goedel numbers can be about Goedel numbers.
