С точки зрения банальной эру... С точки зрения формальной логики или логики предикатов данная фраза самореферентна, а значит не записывается формально в предикатах в одной системе в рамках одноуровневого языка.
Саморефере́нция (самоотносимость) — явление, которое возникает в системах высказываний в тех случаях, когда некое понятие ссылается само на себя. Иначе говоря, если какое-либо выражение является одновременно самой функцией и аргументом этой функции.
Самореференция в математике и логике всегда означает нарушение предикативности и обычно вызывает логические парадоксы.
Подробнее: парадокс Лжеца, самореференция, Теорема Тарского о невыразимости истины, парадокс Карри.
если (F является ложью) является ложью, то F является истиной.