T. Lampert and A. Nakano, “Explaining the undecidability of first-order logic”, ZFN, no. 77, pp. 3–23, Dec. 2024.