David Joshua Sartor comments on Hard Questions Are Language Bugs

[David Joshua Sartor]

Maths is incomplete. Inconsistency isn’t proven.

Is this wrong?