Так же он не знал, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой теории.
написал(а) Sergius ○ 6.6k (21.05.2011 22:42:39)
 |
|
Комменты
Тут пока ничего нет. Надо бы добавить!
Извините, но комментирование доступно только зарегистрированным пользователям.