This is very arcane stuff for an audience of which I am not a member. My attitude toward Gödel's proof has always been "smells like division by zero." I can have an "attitude" precisely because I don't know enough not to. Still...