Godel starts by the assumption that the system is free from contradictions which makes his papers largely irrelevant here.

Again, feel free to explain how you can have a second order logical system without axiomatic limitations that doesn't contain contradictions.

Hell, go by the more popular version of first order logic + set theory if you're more comfortable with that.