“「そんなことが世の中に出て何の役に立つんだよ！」 「答えてもいいが、まず『世の中』を定義してもらおう」”
— Twitter / @hyuki
たしかに、「世の中」の定義としていい加減なものを許すとラッセルの逆理みたいなのが生じるかもしれないから、ZFCみたく公理論的集合論な定義を要求すべきだろうな
4 months ago