Откуда Вам знать. Вы что были лично знакомы



>Я гуглил "аргумент Дедекинда",
Ага. Если на русском, то там кроме дерьма ничего нет.
чтобы гуглить надо знать элементарные вещи, которые Вы в школе не проходили и самостоятельно неспособны осилить.
ВЫ не там искали

Models of second-order arithmetic
https://en.wikipedia.org/wiki/Second-order_arithmetic
Есть известная теорема Дедекинда которая утверждает что обычная теория вещественных чисел (а это теория второго порядка) имеет единственную модель. (Вы наверное на физваке учились или на медицинском, если не знаете таких простых вещей.) По этому и называют аргумент Дедекинда хотя конечно в его время различием между логикой первого и второго порядка сильно не заморачивались. Это началось с работ Генкина

Первоначальное доказательство опровержения гипотезы было очень сложным. Результат был официально заявлен AMS впервые в 2013 году. Заявление было официально принято и резюме доклада было опубликовано на сайте AMS
http://www.ams.org/sitesearch?cx=006070 ... j7386304j7
Доказательство опубликованное в BJM технически более простое.
Вот Вам подробно про дедекинд аргумент, если знаете английский то разбирайтесь

http://www.academia.edu/6428812/Notes_o ... _languages