>>12008852Well... if it's open then we have recursive f(g(x)). Or in other words set^topology^f. This leads to full description but not definition and cannot be used to compute without approximating limits. But the g was compact to begin with. You cannot ever fully define something, except theoretically, using equations, differentials, structures, etc. And I think we'd be able to prove it metaphysically. inf (definition) is compact in sup (description | open). There is a limit to the definition. And then with sigma completion we have the full legal agreement of the universe.
We just have to find the right equation.
