mixiユーザー(id:14882521)

日記一覧

集合論におけるパラドックスの一つであり、「全ての順序数の集合」という概念を素朴に導入すると矛盾が起こるという主張。即ちそのような存在を許す体系は自己矛盾していることを示す。概要は以下の通り。フォン・ノイマン順序数を用いた説明によると、矛盾の

続きを読む