I'm somewhat lost, but it seems to work Gödel like.
The statement is true (equation has no solution) but we can't prove it.