MathDB1 problem
- 0 votes0 replies1 view
The atomic-systems conjecture for inferentialist second-order arithmetic
Consider an inferentialist analysis of second-order arithmetic, induction principles, and the definability of concepts within a framework grounded in the structure of atomic system…