아, 증명못하는 명제가 무모순이란 거 였나요? 음. 그럼 공리간의 무모순하고는 관계가 없나요? 가물가물한 기억을 뒤지자면 각 공리가 다른 공리와 위배되지 않는 어쩌구란 얘기도 나왔던 것같은데. 역시 오래된건 아예 잊어먹어야~ @쩝, 내 ID가 제목에 나오니 기분나쁘기도하고, 말하는 내용이 어이없어서 웃기기도 하고. @@당연히 "옹"보다는 훨씬 젊으니~ :)