- #1
MathematicalPhysicist
Gold Member
- 4,699
- 371
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 I am not aware of.
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 I am not aware of.