ゲーデル解釈っぽく考えたら心理的な違和感はだいぶ解消する
つまりＡという命題を「Ａでないということはない」、
「Ｇ（ｘ）となるｘが存在する」を「全てのｘに対してＧ（ｘ）でない、ということはない」と解釈する