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