I think the statement may be corrected by replacing the “and” with “or”. Does it work to say that “Every sufficiently powerful formal system is incomplete or has a contradiction.”?