Цитата:
Сообщение от Гёдель
если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
|
Цитата:
Сообщение от Сирин
если в формальной системе существует невыводимая и неопровержимая формула (читайте аксиома), то эта система является непротиворечивой. Это первая теорема Гёделя!
|
Цитата:
Сообщение от Сиринъ
От перемены мест слагаемых сумма не меняется.
|
Охохох. Давненько я так не ржал... Воробей - это птица, следовательно, все птицы - воробьи...
СиринЪ, в вашей церковно-приходской предмета под названием "Логика", я так понимаю, не было?