Цитата:
Сообщение от CowboyHugges
Кстати непротиворечивость арифметики Пеано ещё никто не доказал, вот ржач-то будет если она противоречива, покруче всяких БАКов  |
Пока что все указывает на то, что она непротиворечива. Не все возможно строго доказать или опровергнуть..