3 ms·
There are a large number of barriers to formalizing your question, such as (i) the definition of natural, (ii) the definition of "maximal" when comparing counta
by CaptainNegative 4y ago
There 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!