mixiユーザー(id:14882521)
日記一覧
- ブラリ＝フォルティのパラドックス
- 2008年09月14日10:11
集合論におけるパラドックスの一つであり、「全ての順序数の集合」という概念を素朴に導入すると矛盾が起こるという主張。即ちそのような存在を許す体系は自己矛盾していることを示す。概要は以下の通り。フォン・ノイマン順序数を用いた説明によると、矛盾の
- ラッセルのパラドックス
- 2008年09月13日08:33
集合論における矛盾を指摘するパラドックスの一つ。ゴットロープ・フレーゲ（Friedrich Ludwig Gottlob Frege）の『算術の基本法則』にある矛盾を指摘したバートランド・ラッセル（Bertrand Arthur William Russell）によるフレーゲ宛ての書簡が起源とされる
