And among these, there is the smallest undefinable number.
There isn’t. The collection of positive, undefinable numbers is bounded below by zero, but doesn’t actually have a smallest element (due to the reals not being well-ordered).
There isn’t. The collection of positive, undefinable numbers is bounded below by zero, but doesn’t actually have a smallest element (due to the reals not being well-ordered).