[stiff]

The parent comment seems to imply that there are some absolute mathematical truths and that there are some statements true in this absolute sense that can not be proved by mathematics. Goedels theorem shows something else: that starting from an axiom system there will be statements true in this axiom system that are not provable. I anyway doubt John Baez meant mapping all true sentences from all possible axiom systems in form of a graph...

[teilo]

Actually, my statement is limited to mathematical truths. I am not talking about truth in general. And yes, the nit-pick was out of place. And no, I am not an art major, and yes, I understand Goedel's theorem just fine.

I said, "Not all mathematical truths can be proven to be true." I don't know how you got from there to: "there are some statements true in the absolute sense that cannot be proved by mathematics".

My statement is equivalent to your statement: "Starting from an axiom system, there will be statements true in this axiom system that are not provable."