Agreed. For example, we can’t learn “all truths about the integers” by bootstrapping from PA in this way. But we can get all of formalist mathematics.
Agreed. For example, we can’t learn “all truths about the integers” by bootstrapping from PA in this way. But we can get all of formalist mathematics.