> You can't have a statement in classic logic which is not an axiom and couldn't be proved true or false. Hm? What of Gödel sentences though? Or, like, the con

> You can't have a statement in classic logic which is not an axiom and couldn't be proved true or false. Hm? What of Gödel sentences though? Or, like, the continuum hypothesis? I think I might be misunderstanding you.