what to think about this guy ?
I mean isn't it really as simple as this :
the judgement that something exists is a synthetic judgement, because the characteristic to exist is not analytically found in any concept without already presupposing it, that is doing a tautology... therefore saying something exists before experiencing it would be a synthetic judgment a priori... these are impossible... therefore the whole "proof" of Gödel is basically a spoof