> > ゲーデルは無矛盾で完全な公理系の構築の不可能性を指摘しんじゃないの? > 貴殿の言う自己言及する集合の矛盾を指摘したのって具体的に誰? パグウォッシュ会議でアインシュタインと一緒に核兵器文句とか言った人? 参考:2005/09/21(水)01時54分37秒