Я имею в виду, что с чисто логической точки зрения это настоящая жемчужина. Не часто такую красоту доводится видеть! Он утверждает, что Ваше утверждение использует такую же неправильную схему вывода, что и гипотетическое геббельсовское, при этом его собственное утверждение использует эту же схему вывода (неявное self reference), таким образом его утверждение в любом случае оказывается ложным, поэтому то утверждение, которое он на самом деле хочет доказать, автоматически оказывается истинным. Это красиво.