Second addendum, chapter 4 is about second order logic and apparently I just forgot that exercise 1 is simply showing that you get all of the structure built up in Chapter 3 with Peano's original formulation in second-order logic. Seems that here I'm the one suffering from a lack of historical context!
I think from a logic standpoint this also makes sense -- getting to undecidability quickly makes taking the direct route through first-order logic more appealing.
If I'm being honest, I now do feel a little bit deprived, I probably would have enjoyed the categorical view when I was learning this too.
I think from a logic standpoint this also makes sense -- getting to undecidability quickly makes taking the direct route through first-order logic more appealing.
If I'm being honest, I now do feel a little bit deprived, I probably would have enjoyed the categorical view when I was learning this too.