Or, if you like it this way, the Halteproblem for transcendental reasoning is universal. There are no computable propositions regarding the mystical. ;-)