Axiomatization of differential equation theory Hájek, O. — 1967 Differential Equations and Their Applications