괴델 할배가 한 것이 "주어진 공리계가 무모순임을 그 공리계 내에서 증명할 수는 없다" 니까, "수학의 체계가 무모순인 게 증명되어 있다"고 하면 이 할배가 화내지... :) @ 근데 내가 "옹"이면 자네는 뭔감? @@ 바보같은 aaa 게스트는 그냥 무시하게나. ----- http://i.am/puzzlist