Maliaukienė, L. (2009) “About the equivalent replaceability of the double induction axiom”, Lietuvos matematikos rinkinys, 50(proc. LMS), pp. 253–257. doi:10.15388/LMR.2009.45.
About the equivalent replaceability of the double induction axiom
Abstract
In this paper the first order predicate calculus with the axioms of additive arithmetic is investigated. The conditions of the equivalent replaceability of a double induction axiom is presented.
