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