1. Without that, we cannot get to the primitive recursive functions, which means we cannot Arithmetize syntax, so you cannot form the Goedel sentence, and there is nothing that says it cannot be proved.