Thanks.

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.