“Explaining the undecidability of first-order logic”, ZFN, no. 77, pp. 3–23, Dec. 2024, doi: 10.59203/zfn.77.694.