4
$\begingroup$

Some naive questions from an interested layman regarding the cardinality of the set of all math theorems (discovered and undiscovered).

1) What branches of math are not contained in ZF set theory + the axiom of choice + the continuum hypothesis?

2) What is the cardinality of all discovered and undiscovered theorms under ZF set theory?

3) Cardinality of theorems under ZF + axiom of choice?

4) Cardinality of theorems under ZF + continuum?

5) Cardinality of theorems under ZF + axiom of choice + continuum?

  • 1
    1. non standard analysis, but the beauty of it is that any assertion contained in ZFC is true in ZFC even if the proof uses non standard arguments 2,3,4,5 : if you think of theorems that can be proved in a finite number of applications of axioms (which I understand is the definition of "provable") then there are only countable many of those2011-11-30

1 Answers 1