display all the ideas for this combination of texts
4 ideas
16321 | The compactness theorem can prove nonstandard models of PA [Halbach] |
16343 | The global reflection principle seems to express the soundness of Peano Arithmetic [Halbach] |
8203 | All the arithmetical entities can be reduced to classes of integers, and hence to sets [Quine] |
16312 | To reduce PA to ZF, we represent the non-negative integers with von Neumann ordinals [Halbach] |