.

В этом случае формулы выглядели бы как генеалогические деревья. — Прим. авт. назад к тексту

26.

G.Gentzen, Math. Ann. 112 (1936), 493–565. [Русский перевод: Г.Генцен, Непротиворечивость чистой теории чисел, сб. «Математическая теория логического вывода», М., «Наука», 1967, 77–153.] — Прим. авт. назад к тексту

27.

До бесконечности (лат.). — Прим. ред. назад к тексту

28.

По поводу более поздних работ, затрагивающих также системы дифференциальных уравнений, см. Шур (Axel Schur), Math. Ann. 82 (1921), 213–239; Блисс (G.A.Вliss), Trans. Amer. Math. Soc. 28 (1926), 561–584; Рид (W.T.Reid), там же 44 (1938), 508–521. — Прим. авт. назад к тексту

29.