(1)
Chobanov, G.; Chobanov, I. Newtonian and Eulerian Dynamical Axioms. VI. Inductio Per Enumerationem Simplicem. Ann. Sofia Univ. Fac. Math. and Inf. 1994, 86, 99-122.