>>275
そのサイトここ？
https://p-adic.github.io/april-fool-logic/
エープリルフールサイトみたいだけど
＞逆にルベーグ非可測集合の存在を仮定しましょう。すると、𝖹𝖥𝖢集合論においては選択公理が成り立つので、選択公理が導けました。
へなへな〜