MathematicalPhysicist

Gold Member

- 4,138

- 149

## Main Question or Discussion Point

**X axioms.....**

lets assume we have a consistent system which have X axioms/definitions, can we infer (or deduce) somehow from this given, how many theorems/lemmas are there in this system? (or deduce the maximal theorems/lemmas that could be proved in this this system).

my initial answer would be no, but i think this question is a metamathematical and perhaps have an answer in fields im not aware of.