[cwzwarich]

> However, I think that the Goedel card is counter-played well by the Schrodinger one. "This statement cannot be proven" is only a false statement because you inspect it with your system. It might otherwise be completely true.

Gödel doesn't actually rely on any argument regarding the meaning of the statement "this statement cannot be proven"; he merely uses it as inspiration for an analogous entirely formal construction.