3 ms·

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.