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