Lampert, T., & Nakano, A. (2024). Explaining the undecidability of first-order logic. Philosophical Problems in Science (Zagadnienia Filozoficzne W Nauce), (77), 3–23. https://doi.org/10.59203/zfn.77.694