qqp question1: What does Gödel's incompleteness theorem actually state? question2: Is Gödel's incompleteness theorem saying that there are statements in a consistent formal system that can neither be proved nor disproved?