Gap in understanding of Logical Pinpointing
I had originally found myself very confused by how the second order axiom of induction restricted PA to a single model, leading to this discussion where I thought doing so would violate the incompleteness theorem. What I misunderstood is that while the axiom schema of induction effectively quantifies over properties...