Comment by root_axis

I think you could make a corresponding argument about the unbounded complexities of an abstract domain like mathematics. Math also has a notorious reputation for difficulty. We don't even have a way to know how much there is to know about math.

I'm not sure I see one is clearly more difficult than the other.