16 ms·
Yeah, but this terminological distinction is not really justified. It should be simply between first and second order Peano arithmetic.
by cubefox 3y ago
Yeah, but this terminological distinction is not really justified. It should be simply between first and second order Peano arithmetic.