Арифметика натуральных чисел имеет большое значение для обоснования математических теорий: из её непротиворечивости следует непротиворечивость арифметики действительных чисел, которая в свою очередь позволяет, пользуясь методом моделей, показать непротиворечивость евклидовой геометрии и геометрии Лобачевского[11][44]. Доказательством непротиворечивости арифметики в системе Пеано и родственных ей аксиоматических системах безуспешно занимался Гильберт в начале XX века. После открытия в 1930 году теоремы Гёделя о неполноте стало ясно, что в подобных простых системах это невозможно. Доказательство непротиворечивости было проведено в 1936 году Генценом с использованием разновидности трансфинитной индукции[57].
В каком году открыли теорему Гёделя?