- This topic has 0 replies, 1 voice, and was last updated 2 years ago by
.
Viewing 1 post (of 1 total)
-
Posts
-
All formal systems that are self-consistent are equal.
It makes no sense to say the axiom *@*#*** is ‘false’ it is simply that the identification with addition in N_0 isn’t a useful identification anymore. The formal system itself is equally valid.
Just identify in the new formal system #->+1= and you recover the addition in N_0.
Viewing 1 post (of 1 total)
- You must be logged in to reply to this topic.