4 ms·
Yes it is true in the unique model of second order PA, aka the computable model, aka the "standard" model.
by jojomodding 2mo ago
Yes it is true in the unique model of second order PA, aka the computable model, aka the "standard" model.
loading thread…