S'il était prouvable, ce serait faux, ce qui contredirait l'idée que dans un système cohérent, les déclarations prouvables sont toujours vraies.
Si la phrase était vraie, alors la déclaration serait fausse.