Re: Replacement of Cardinality

Am 16.08.2024 um 07:50 schrieb Moebius:

Of course, _if_ we already have introduced the real numbers (i.e. IR) we may define
        √2 = the real number x such that x^2 = 2 ,    (*)
 _after_ we have shown that that there is exactly one x e IR such that x^2 = 2.
 From (*) we get immediately: (√2)^2 = 2

Now we may assume that there are natural numbers n,m such that √2 = n/m.
(...)