Продолжение поста «Мое видение "Парадокса лжеца" через математическую модель»1

Продолжение поста «Мое видение "Парадокса лжеца" через математическую модель»

Привет, Пикабушник!
В прошлый раз мое видение было не до конца сформулировано и начато с ошибочного утверждения. А все таки, можно ли использовать закон двойного отрицания для его доказательства?

И очень-очень прошу прощения у тех, если я нагрубил в своем прошлом посту Мое видение "Парадокса лжеца" через математическую модель