I just realized Nelson numbers them differently, building in + and x at the start and giving two axioms explaining how they work. Induction is number 7 on his list. I hope this doesn’t create confusion; I think it would create more if I changed the OP.
I just realized Nelson numbers them differently, building in + and x at the start and giving two axioms explaining how they work. Induction is number 7 on his list. I hope this doesn’t create confusion; I think it would create more if I changed the OP.