2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3
 
 Re: Проблема неполноты арифметики
Сообщение23.11.2011, 14:08 
Заслуженный участник
Аватара пользователя


28/09/06
10985
Nobody85 в сообщении #506367 писал(а):
Насколько я знаю, непротиворечивость арифметики Пеано доказана с помощью метода трансфинитной индукции.
Кстати, забыл добавить, что трансфинитная индукция до ординала $\varepsilon_0$ (которой доказывается непротиворечивость арифметики Пеано первого порядка) как раз реализуема в арифметике второго порядка, но нереализуема в арифметике первого порядка.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 31 ]  На страницу Пред.  1, 2, 3

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group