Re: An uncountable countable set

In article <7b55f$451ba2f8$82a1e228$18740@xxxxxxxxxxxxxxxx> Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> writes:
....
OK. Virgil corrected this error. But even then. The correct thing would
IMHO be a theorem and not a definition.

Theorem: 0.33333 .. = 1/3

No. It might be a theorem if 0.333... was defined, so you need a definition
first. But the only definition I know of is the one similar to the
definition of Virgil.
--
*** t. winter, cwi, kruislaan 413, 1098 sj amsterdam, nederland, +31205924131
home: bovenover 215, 1025 jn amsterdam, nederland; http://www.cwi.nl/~***/
.

Quantcast