[chezlaw]

[ QUOTE ]
Godel proved that the CH was consistent with the axoims of ZFC, but conjectured that it could probably be proved inconsistent as well depending on what axiom of infinity you assume. This was the proven some years after Godel's conjecture.

In other words, the CH is demonstrably unprovable on the basis of the Zermelo-Fraenkel axioms.

Maybe I phrased myself wrong. The zermelo-fraenkel axioms have of course NOT been proven inconsistent.

- Kripke

[/ QUOTE ]

Okay we're saying the same thing now. So none of Riemann, Goldbach or CH provide any problem to DS's claim that there are no unprovable certainties in maths.

That just leaves the consistency problem but is this really a problem. If we have some theorem T such that ZFC->T then we are not claiming certainty that T is true, but are claiming certainty that ZFC->T which is true whether or not ZFC is consistent.


chez