> > ゲーデルって哲学者なの > ゲーデルは無矛盾で完全な公理系の構築の不可能性を指摘しんじゃないの? 貴殿の言う自己言及する集合の矛盾を指摘したのって具体的に誰? 参考:2005/09/21(水)01時53分17秒