“Explaining the Undecidability of First-Order Logic”. Philosophical Problems in Science (Zagadnienia Filozoficzne W Nauce), no. 77, Dec. 2024, pp. 3-23, https://doi.org/10.59203/zfn.77.694.