So substitute another phrase, if you prefer. It doesn't change the logic. "Specifically, we define a formal world where bungling is defined as inconsistencies

So substitute another phrase, if you prefer. It doesn't change the logic. "Specifically, we define a formal world where bungling is defined as inconsistencies between a computable LLM and a computable ground truth function. By employing results from learning theory, we show that LLMs cannot learn all the computable functions and will therefore inevitably bungle if used as general problem solvers."