数学で証明できない命題が存在することを証明したってことでしょう。
たとえばＲが実在するかどうか、など。