It’s not out of reach. Our response is “calculus isn’t false because it’s hard”.

It’s not out of reach. Our response is “calculus isn’t false because it’s hard”. Formally constructed decidability (law) isn’t false just because it’s hard. It’s like learning programming, behavioral econ, and law at the same time.
If one has the knack for it, it’s just easier.