Хэлен

Не кривой, но см. выше в комментах. Фишка в автореференции: бесконечная рекурсия недопустима, поскольку она ведет к невозможности подстановки конечных термов (то, что мы наблюдаем в парадоксе лжеца, например). В остальном рассуждение совершенно корректное. :-)