Chobanov, G. and Chobanov, I. 1994. Newtonian and Eulerian dynamical axioms. VI. Inductio per enumerationem simplicem. Ann. Sofia Univ. Fac. Math. and Inf. 86, 2 (Dec. 1994), 99–122.