When you say "Any number can easily be described by x" aren't you already using Choice? And doesn't "let x be one of those numbers from the set of numbers that cannot be described with finite symbols" seem a bit like a paradox?