Lampert T, Nakano A. Explaining the undecidability of first-order logic. ZFN. 2024;(77):3-23. doi:10.59203/zfn.77.694