/sci/ - Science & Math

>>9247979
>Just giving a list of properties doesn't prove that there actually exists an algebraic structure which satisfies all of them.
Yes, it does since these properties are the extrapolation of what we want geometrically from reals.
In the same fashion we derive properties for natural numbers.