Улыбка от Чеширского кота - не Чеширский кот. Даже все атомы Сократа - не Сократ. Вы ушли в сторону от парадокса и запутались. Вы постепенно можете собрать все свои атомы в коробочку и хранить их вечно, т.к. через 5 лет чел. обновляет все свои атомы.
Что хорошо в двоичной логике,если не подходит один ответ то есть другой. Все утверждения, кроме последнего ложны. Последнее, получается, истинно. И действительно, за ним не следует никакого утверждения, а 0 это ложь.
Этого не может быть, если первое утверждение ложно, значит все последующие истиные, но этого не может быть, т.к второе утверждает что все последующие ложны. Здесь каждое утверждение является как функцией так и аргументом этой функции, а в математике такие выражения являются непредикативными. В логике запрещено нарушать предикативность так же как и использовать самореферентные выражения, т.к это приводит к невозможности определения выражения как истинного или ложного. Другими словами непротиворечивость любой непротиворечивой теории нельзя содержательно доказать средствами самой теории. Именно об этом гласит вторая теорема Геделя, которая им же и доказана. Именно поэтому и запрещены в логики самореференции и непредикативные выражения.
