Yes, but as it happens that kind of difference is unnecessary in the abstract. Besides the point I mentioned earlier, you could have a logical set of assumptions for “self-hating arithmetic” that proves arithmetic contradicts itself.
Completely unnecessary details here.
Yes, but as it happens that kind of difference is unnecessary in the abstract. Besides the point I mentioned earlier, you could have a logical set of assumptions for “self-hating arithmetic” that proves arithmetic contradicts itself.
Completely unnecessary details here.