上よりはましであるが、これまた長い。なんとこの式は「空の箱が存在する。」と表すことができる。こっちの方がシンプルで良いのに数学者はわざわざこんな複雑な言葉で表すのである。その内容は当たり前の事であり、わざわざ言うまでもないことである。異常な点[編集]ここまで公理の一部分を解説したが、この論理に挑戦した人によりさらなる異常さの証拠になる物があるということが分かっている。集合には個数という概念はなく、入っていないか入っているかという情報しか含まれていない。ここが現実の箱と大きく異なるところである。{x}となるという異常な式で表される。これはウィキペディアにも書いてある。公理的集合論の中には数なんてものはない。その他の物もなく、ただ集合があるのみである。この論理は数学の基礎になると言われている。数学の基礎ということはもちろん数などの概念を取り扱わないといけないわけで、集合だけで大丈夫なのかという疑問がある。数学者たちはこれに対して「数は集合で作れる。その方法には「デデキント切断」「ペアノの公理」など怪しげな名前を持ったやり方があるらしいが、この言葉が本当なのかどうかは数学者になってみないと分からないだろう。この論理ではフォン・ノイマン宇宙やグロタンディーク宇宙などの怪しげな言葉が使われている。数学に宇宙という物が現れるなんて常識では考えられない。「宇宙」は我々が知っている意味なのだろうか?いや、違う。ウィキペディアでの解説を見てみよう。「数学において、宇宙(うちゅう、Universe)とは議論領域のことである。ウィキペディアにしては珍しく単刀直入に記述されているが、このことからフォン・ノイマン宇宙は本来はフォン・ノイマン議論領域と呼ぶべきである事が分かる。その方が意味も分かりやすいにもかかわらず、宇宙という本来は意味が違う単語を使用している。ここから明らかに公理的集合論を学ぶ新米数学者を妨害するために分かりにくい単語を使用したということが読み取れる。余談[編集]ちなみにこの記事の筆者はこの記事を書くためにこれを調べ始めたことにより、いつの間にかに論理学にはまってしまい、気が付いた時には公理的集合論の記号や公理を理解できるようになってしまった。本当に気を付けてほしい。コンテスト本項は第33回執筆コンテストに出品されました。Attribution-NonCommercial-ShareAlikeのライセンスで利用できます。プライバシー・ポリシーアンサイクロペディアについて免責事項モバイルビュ。