-- okay so when you say "every logic contains true statements that are unprovable" if the logic defines proof as equivalent to truth, this means that the sense of "true" in that statement is undetermined -- i guess it means it is true in a different logic. i want to look at the proofs more!