That’s sort of like saying “the sum of angles of a triangle is 180 degrees.” It’s only true in some axiom systems, and not even necessarily the most useful ones.
That’s sort of like saying “the sum of angles of a triangle is 180 degrees.” It’s only true in some axiom systems, and not even necessarily the most useful ones.