Here now is the fourth episode [slightly corrected] which tells you — for those who don’t know — what first-order Peano Arithmetic is (and also what Sigma_1/Pi_1 wffs are). A thrill a minute, really. Done in a bit of a rush to get it out to students in time, so apologies if the proof-reading is bad!

Here are the previous episodes:

a.c.Sentence near the top of p 2:

Q, then, is a very weak arithmetic. Still, it will turn out to be ‘modest amount of arithmetic’ needed to get Theorem 2 to ﬂy, and also containing Q gives us a ‘suﬃciently strong arithmetic’ in the sense of Theorem 6.

Should the "it will turn out to be" be "it will turn out that the"?

Also should be a comma after "and also containing Q".

– – – – –

Minor detail at the end of section 12 on p 6:

"The answer will emerge over shortly enough" reads oddly to me.

– – – – –

Last sentence before 13.1: missing space between "and" and PI_1.

– – – – –

2nd sentence of 1st para of 13.1:

"We can now express such claims in formal arithmetics like Q and PA wﬀs of the shape …"

Should be "… using wffs of the shape …".

– – – – –

Proof of Theorem 17 on p 8:

Two (separate) "then"s in the 2nd sentence when only one ought to be needed.

The proof concludes:

Contraposing, if T is consistent, it proves any Π1 sentence it proves is true.

Is that what was intended? Or should it be only that if T is consistent, any Π1 sentence it proves is true. (Taking out the "it proves" before "any".)

Peter SmithMany, many thanks a.c. :-) Corrected.