正則性公理は思ったよりも特殊なのだろうか、とモデルの話を読んでいて思った。

五月祭の物理学科の展示には、毎年あやしげな人がくるという。たとえば、オーソドックスなところでは相対論は間違っているという「相対論おじさん」などである。中でも変わっているのが、「浮力おじさん」と呼ばれる人らしい。 「万物の理論は全ては浮力で説…