so by contraction, self-reference is paradox? That's certainly true for the liar's paradox. But that shouldn't be mistaken for the actual statement, that some unprovable propositions follow from incomplete axioms and that the axioms can't be completed.