Парадокс (от греческого paradoxos – неожиданный, странный) представляет пару противоречащих друг другу суждений, каждое из которых доказуемо в равной мере. Существуют парадоксы, в которых противоречащие суждения следуют друг за другом. Таким парадоксом и является парадокс «Лжеца», известный ещё в древности и предписываемый Евбулиду из города Милет. Имеется много вариантов его представления, но к наиболее ранним относится выражение: «Критянин (житель острова Крит) сказал, что все критяне лгуны. Врёт он или сказал правду?»...

Математическая логика уходит своими корнями в античные времена и в те же времена корнями уходят логические парадоксы. Одним из первых известных парадоксов стало высказывание жителя острова Крит, поэта Эпименида: «Все критяне - лжецы». Если предположить, что отрицанием высказывания Эпименида будет «Все критяне говорят правду», то получим следующее. Если Эпименид критянин, и все критяне лгут, то Эпименид лжёт. Значит верно, что все критяне говорят правду и, поскольку Эпименид - критянин, Эпименид говорит правду...