|
Preprints of the Keldysh Institute of Applied Mathematics, 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.
Citation:
S. V. Popov, “About eliminating of induction axiom”, Keldysh Institute preprints, 2005, 009, 28 pp.
Linking options:
https://www.mathnet.ru/eng/ipmp650 https://www.mathnet.ru/eng/ipmp/y2005/p9
|
Statistics & downloads: |
Abstract page: | 50 | Full-text PDF : | 3 |
|