display all the ideas for this combination of texts
4 ideas
16342 | You cannot just say all of Peano arithmetic is true, as 'true' isn't part of the system [Halbach] |
16341 | Normally we only endorse a theory if we believe it to be sound [Halbach] |
16344 | Soundness must involve truth; the soundness of PA certainly needs it [Halbach] |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |