Lampert, Timm, and Anderson Nakano. “Explaining the Undecidability of First-Order Logic”. Philosophical Problems in Science (Zagadnienia Filozoficzne w Nauce), no. 77 (December 31, 2024): 3–23. Accessed May 9, 2025. https://zfn.edu.pl/index.php/zfn/article/view/694.