also, that his proof exists within an axiomatic system but IS ONE of its provable statements, is wildly crazy genius weird 'serendipitous' math...?! shows that

also, that his proof exists within an axiomatic system but IS ONE of its provable statements, is wildly crazy genius weird 'serendipitous' math...?! shows that at least for the boundary beyond the provably meaningful, we can still 'talk' about or 'point' at the unknown and say things like 'hey, over there is something we cannot really know nor talk about