Buser, Peter, and Bruno Scarpellini. “Undecidable Propositions by ODE’s”. Annales Fennici Mathematici 32, no. 2 (August 1, 2007): 317–340. Accessed February 24, 2026. https://afm.journal.fi/article/view/135196.