우리는 또한 F만으로 증명될 수 없는 G(F)도 어떤 명확한 수학적 진술로 참임을 인정해야 한다.
We must also accept, as correct, a certain clear-cut mathematical statement G(F), while concluding that G(F) is not provable by the methods of F alone.