There is another attitude to Godelian statements than declaring them undecidable and the system therefore incomplete. You can say instead that the statements are paraconsistent ie. both true and false and that the system is complete but inconsistent.
What does it mean for a human to "see the truth of a Godel statement" when the human could just as well decide that the statement is paraconsistent? Mathematical truth is somewhat conventional, somewhat social. Wittgenstein's notion of form of life was explicitly in reference to the way mathematicians generally do not argue about mathematical statements ie. they share a form of life. There is a social, conventional aspect of mathematics that is obscured by the hyper-rigorous, hyper-formal systematisations that became prevalent in the 20th century.
What does it mean for a human to "see the truth of a Godel statement" when the human could just as well decide that the statement is paraconsistent? Mathematical truth is somewhat conventional, somewhat social. Wittgenstein's notion of form of life was explicitly in reference to the way mathematicians generally do not argue about mathematical statements ie. they share a form of life. There is a social, conventional aspect of mathematics that is obscured by the hyper-rigorous, hyper-formal systematisations that became prevalent in the 20th century.