Lampert, T. and Nakano, A. (2024) “Explaining the undecidability of first-order logic”, Philosophical Problems in Science (Zagadnienia Filozoficzne w Nauce), (77), pp. 3–23. doi: 10.59203/zfn.77.694.