qvalq comments on Hard Questions Are Language Bugs

[qvalq]

Maths is incomplete. Inconsistency isn’t proven.

Is this wrong?