Quote:
Originally Posted by Bobby66
I've seen this proof, the arithmetic seems inconsistent.
|
Peano axioms are basically spelling out in intense detail, the principle of mathematical induction.
It's not well defined to call it an arithmetic, since you are working with set operations (Unions, Intersections)...not to mention the words consistent / inconsistent in this context are frighteningly complicated. D: ... but maybe you can express your concern and I can try to remedy it. (: