어떤면에서 틀렸다고 평가받을 것 같은지도 적어줘

괴델의 불완전성 정리가 수학이 공리로 창조되었다는 이론의 반론이라고? 그렇게 보기는 어렵지 않나?

괴델의 불완전성정리는 공리계의 무모순성을 해당하는 계 내에서 입증할수가 없다는 것임. 
수학을 "공리로 창조했다는 것"의 반론이 아님. 수학은 아직도 공리로 굴러감. (공리적 집합론)

수학사 수업이면 그렇게 말하기는 어렵지... 공리랑 집합으로 싸그리 다 처리하는 거 얼마 안 되었음. 페아노 이전에는 공리화를 성공한 양반도 없는 것으로 암. (기억이 가물가문은 한데 여튼 페아노가 최초의 성공사례인 건 맞음)