Es interesante observar que el Teorema de la incompletud de Gödel puede verse como un modo de traducir la paradoja del mentiroso a matemática formal, ya que encontró un modo formal de dejar que los axiomas se autorreferenciasen.