“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.”