What is this? This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Consistency is several questions

A subject the papers are about. The loosest grouping, and the one to reach for last.

Consistency proofs for arithmetic and the arguments over what they establish: in what system, by what means, for whose demand. Membership: bears on what a consistency proof is worth.