I would call it "Engineered (as machine-made trustworthy) Mathematics": you have results but nobody undrstands them but they were not produced by humans.

Despite that, people use them. In that sense, similar to the Finite Elements method. But the tools (statements) are machined like any other tool (screwdriver).

Similar to microprocessors in your example. But about statements.