@HoeflerCo Well, you can come up with mutually contradictory but internally consistent universe of mathematics, so I don't think I agree with that definition