more on this theme     |     more from this thinker     |     more from this text


Single Idea 16343

[filed under theme 6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic ]

Full Idea

The global reflection principle ∀x(Sent(x) ∧ Bew[PA](x) → Tx) …seems to be the full statement of the soundness claim for Peano arithmetic, as it expresses that all theorems of Peano arithmetic are true.

Clarification

Bew[PA] means provable in Peano arithmetic. T means 'true'

Gist of Idea

The global reflection principle seems to express the soundness of Peano Arithmetic

Source

Volker Halbach (Axiomatic Theories of Truth [2011], 22.1)

Book Ref

Halbach,Volker: 'Axiomatic Theories of Truth' [CUP 2011], p.323


A Reaction

That is, an extra principle must be introduced to express the soundness. PA is, of course, not complete.

Related Idea

Idea 16342 You cannot just say all of Peano arithmetic is true, as 'true' isn't part of the system [Halbach]