Logical foundations for mathematics? The first-order vs. second-order ‘dichotomy’? (Part IV of 'Axiomatizations of arithmetic...')
M-Phi,
(It took me much longer than I had anticipated to get back to this paper, but here is the final part of my paper on…