RUS  ENG
Full version
JOURNALS // Preprints of the Keldysh Institute of Applied Mathematics // Archive
Keldysh Institute preprints, 2005 009, 28 pp. (Mi ipmp650)
About eliminating of induction axiom

S. V. Popov


Abstract: It is established, that in arithmetic proofs of formulas which do not contain individual variables, the axiom of an induction is eliminated.


© Steklov Math. Inst. of RAS, 2024