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 fausse, la déclaration serait vraie, ce qu'elle ne peut pas être -LRB- parce que nous pensions qu'elle était fausse -RRB-