This whole thing is in the "mathematical domain". The point is that you can define a number in such a way that it clearly exists, but there's no good way to calculate it.