«То, что я утверждаю сейчас - ложно», или «Данное высказывание — ложь».
То есть если правда, что данное высказывание ложь, то данное высказывание ложно. Если же ложно, что данное высказывание ложь, то данное высказывание правда. И цепочка рассуждений возвращается в начало.
Таким образом это высказывание противоречит «закону исключённого третьего»* в двоичной логике.
Считается, что этот парадокс был сформулирован представителем мегарской школы Евбулидом.
Предложение такого рода принципиально не может быть ни доказано, ни опровергнуто в пределах того языка, на котором оно изложено.




*Закон исключённого третьего (лат. tertium non datur, то есть «третьего не дано») — закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными (либо истинными), одно из них необходимо истинно, а другое ложно. Закон исключённого третьего является одним из основополагающих принципов современной математики.