Re: What is the 1st order formal system known as PA?

Aatu Koskensilta wrote:

> (As a sidenote, often by second order arithmetic a certain two-sorted
> *first order* theory is meant.

I understood most of the rest of your explanation of this, except a
couple of points, which would be better for me to figure out later. So
I just want to let you know that your post was helpful and I thank you
for it.

MoeBlee

.