Comment by cvoss

> there is a single countable list that includes all things that might possibly have any mathematical existence at all.

Help me understand that. Isn't the Cantor diagonialization argument a proof that such a list cannot exist because, supposing it did exist, it could be used to construct an object not on the list? Are you proposing that your list somehow defeats Cantor here?

(Of course, we're using the word "list" loosely here. What we mean is a total function with domain Nat, right?)