[quantified]

Cantor's proof is a single attempt. Suppose you could construct a space-filling curve that did indeed map all numbers between 0 and 1 to all integers? Has there been a proof that such a curve does not exist? The fact that his proof leans on a specific set of decimal places at every juncture has always seemed a weakness of his proof, because you can always map any set of numbers from 0 to 1 with any set of decimal places to a set of integers.