О роли принципа индукции в формальной арифметической системе Л.Л. Цинман — 1968 Matematiceskij sbornik