2 ms·

I think that a question has been answered definitely. Continuum hypothesis is not provable within the theory along with the other axioms the the theory is deri

I think that a question has been answered definitely. Continuum hypothesis is not provable within the theory along with the other axioms the the theory is derived from. Similar to parallel postulate really https://en.m.wikipedia.org/wiki/Parallel_postulate https://en.m.wikipedia.org/wiki/Parallel_postulate

scapp 4y ago
> along with the other axioms the the theory is derived from Axioms are trivially provable in any system. Unless you mean prove them without using them, in which case you're actually talking about a system where they aren't axioms.