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.
Huh, I didn’t know Wikipedia has SSL. Thanks. (The day may come when looking up Unpopular_Person_or_Event, even on WP, ends me up on some Interpol watchlist.)
It’s always the fifth postulate...
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.
Huh, I didn’t know Wikipedia has SSL. Thanks. (The day may come when looking up Unpopular_Person_or_Event, even on WP, ends me up on some Interpol watchlist.)
HTTPS Everywhere is a Firefox extension that automatically loads the HTTPS version of several websites, including Wikipedia and Google.