Lampert, T., and A. Nakano. “Explaining the Undecidability of First-Order Logic”. Philosophical Problems in Science (Zagadnienia Filozoficzne W Nauce), no. 77, Dec. 2024, pp. 3-23, doi:10.59203/zfn.77.694.