The list includes closure, well-ordering, well-foundedness, and various cardinalities, such as finitude and denumerability. |
|
At least five mathematicians tried to prove denumerability of the value set, to which the names of two of them are attached. |
|
Combining with his proof of the denumerability of rational numbers, it proves the existence of irrational numbers without actually constructing any irrational number. |
|