KIAM Main page Web Library  •  Publication Searh  Русский 

KIAM Preprint № 9, Moscow, 2005
Authors: Popov S.V.
About eliminating of induction axiom
It is established, that in arithmetic proofs of formulas which do not contain individual variables, the axiom of an induction is eliminated.
Publication language: russian, pages: 28
Research direction:
Mathematical modelling in actual problems of science and technics
Source text: