3 ms·
I am making the distinction between natural statements and contrived statements. I claim godel only find contrived statements. However there exist non-contrived
by SemanticStrengh 4y ago
I am making the distinction between natural statements and contrived statements. I claim godel only find contrived statements. However there exist non-contrived, natural statements that are unprovable in ZFC. My question is, what set of additional axioms are needed to have a maximal coverage/provability of those independent statements, while introducing the least possible axioms.
And yes indeed ZFC + ¬CH seems like a good first step.
- CaptainNegative 4y agoThere are a large number of barriers to formalizing your question, such as (i) the definition of natural, (ii) the definition of "maximal" when comparing countably infinite sets, and (iii) the fact that asking about the provability of X in vanilla ZFC is still arguably interesting in the system ZFC+X (see: reverse mathematics), so it's not clear what adding it as an axiom does towards the "largeness" of the set of provable natural statements.
- SemanticStrengh 4y agoAbout formalising (i) I guess it's about accepting everything that isn't a meta-token, I don't remember godel incompleteness theorems sufficently to be precise about it, anyway the useful list would be the wikipedia list of independent statements since most of them are not contrived (although very abstract). So yes my question can be specialized as to how to achieve maximum coverage of the wikipedia page. Otherwise, great comment and it's been a while since I hadn't heard the term reverse mathematics!