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