Buser, P.; Scarpellini, B. Undecidable Propositions by ODE’s. Ann. Fenn. Math. 2007, 32, 317-340.