Explaining the Undecidability of First-Order Logic. ZFN 2024, No. 77, 3-23. https://doi.org/10.59203/zfn.77.694.