The claim conflates the difficulty of complete formalization with impossibility, committing a fallac...