>それでも ZF では証明できない命題が存在することを示したのは快挙だ、と言い逃れる
>やつがいるんだよね

数学の専門家に、そんな奴はいない