La paradoja del mentiroso es uno de los primeros casos de paradoja autoreferente.