Во всякой достаточно богатой непротиворечивой теории первого порядка (в частности, во всякой непротиворечивой теории, включающей формальную арифметику), формула, утверждающая непротиворечивость этой теории, не является выводимой в ней.
т.е. непротиворечивость достаточно богатой теории не может быть доказана средствами этой теории.
Блеск! Подпишусь всеми четырьмя(пятью)костями! Но разрушаем-же. И не можем же не разрушать в принципе. И рад бы придумать нечто неразрушающее… А красивые кони на фоне заката — люблю, но не знаю как.
Блеск! Подпишусь всеми четырьмя(пятью)костями! Но разрушаем-же. И не можем же не разрушать в принципе. И рад бы придумать нечто неразрушающее… А красивые кони на фоне заката — люблю, но не знаю как.