Цитата никник (
)
Все утверждения, кроме последнего ложны
Этого не может быть, если первое утверждение ложно, значит все последующие истиные, но этого не может быть, т.к второе утверждает что все последующие ложны.
Здесь каждое утверждение является как функцией так и аргументом этой функции, а в математике такие выражения являются непредикативными.
В логике запрещено нарушать предикативность так же как и использовать самореферентные выражения, т.к это приводит к невозможности определения выражения как истинного или ложного.
Другими словами непротиворечивость любой непротиворечивой теории нельзя содержательно доказать средствами самой теории. Именно об этом гласит вторая теорема Геделя, которая им же и доказана. Именно поэтому и запрещены в логики самореференции и непредикативные выражения.Добавлено (22.06.2018, 00:06)
---------------------------------------------
Цитата IQFun (
)
А куда деться от двоичной логики? С её помощью мир вертится.
Странные у Вас представления о мире.
