>それでも ZF では証明できない命題が存在することを示した

これが事実なら、ZF の無矛盾性が証明されたことになるが。
>>1 は Logic の基礎もわからんのか？