Lampert, T.; Nakano, A. Explaining the Undecidability of First-Order Logic. ZFN 2024, 3-23.