Was this intended to gesture at this process:
1) Mathematics (Axioms → Theorems), 2) Reverse Mathematics? (Theorems → (sets of axioms* from which it could be proved)
or this process:
2) See what may be proved in System A. 2) Create system B out of what was proved in system A, and prove things.
*made as small as possible
Was this intended to gesture at this process:
1) Mathematics (Axioms → Theorems), 2) Reverse Mathematics? (Theorems → (sets of axioms* from which it could be proved)
or this process:
2) See what may be proved in System A. 2) Create system B out of what was proved in system A, and prove things.
*made as small as possible