| [ PhilosophyThought ] in KIDS 글 쓴 이(By): pomp (PUZZLIST) 날 짜 (Date): 2001년 6월 11일 월요일 오전 11시 06분 53초 제 목(Title): Re: 무모순과 괴델(pomp옹께) 괴델 할배가 한 것이 "주어진 공리계가 무모순임을 그 공리계 내에서 증명할 수는 없다" 니까, "수학의 체계가 무모순인 게 증명되어 있다"고 하면 이 할배가 화내지... :) @ 근데 내가 "옹"이면 자네는 뭔감? @@ 바보같은 aaa 게스트는 그냥 무시하게나. ----- http://i.am/puzzlist |