検索ユーモア欠落症患者のために、ウィキペディアの専門家気取りたちが「公理的集合論」の項目を執筆しています。theory)とはいくつかの公理からできている集合を扱うための理論である。この論理は数学全ての基礎となっている。数学者ではない人にとっては数学者がどれだけ異常な人種なのかを知るためのいい例である。常人にはとても理解できない記号で書かれている。解説[編集]公理的集合論にはいくつかの種類があり、その中で最も使われるのはZFC公理系というものである。そのため、この理論の公理を解説する。集合は箱のようなものである。以下の解説で集合は箱に置き換える。箱の中には箱が入っていることもあるし、何も入っていないこともあるし、無限の箱が入っていることもある。公理はいつでも正しいとされているが、中身が理解不能なので怪しいものである。公理の説明[編集]これらはほんの一部であることに注意しよう。この項には数式が大量に使われている。一部の人はめまいと吐き気がする可能性があるので十分に注意するように。A=B)}この式の意味は「任意の箱Aと任意の箱Bにおいて「任意の箱xにおいて「xがAに入っている事とxがBに入っている事は同じことである。」が正しいならば、AとBは等しい。