> It depends on what you think a number is. Let’s not mix up teminology and semantics. What a number here is is quite clear, we’re all talking about relatively

> It depends on what you think a number is. Let’s not mix up teminology and semantics. What a number here is is quite clear, we’re all talking about relatively standard math, the standard axiom of choice, and not some opinion on numbers. Sure, you can also say a planet is a mammal »depending on what you think a mammal is«, but that doesn’t lead to any sort of fruitful discussion.