MathDB1 problem
- 0 votes0 replies0 views
Conjecture that average mathematical theories cannot be modeled as bare axiomatic systems
Conjecture on the inadequacy of bare axiomatic theories. The studied cases are not exceptional, so the received notion of axiomatic theory as a bare system of propositions cannot b…