Toward Logicizing H oldouts: Step 1 is Harnessing Proof of Undecidability of FOL Full FOPL is undecidable sketch of proof by reduction to Halting problems CS3518 Buchi, J.R.…