集合論者基礎論を勉強したこともない人たちが万能感あるいは個人崇拝のバイアスで
変な方向に突っ走っていっちゃったんだよね。
今後は強制法くらいまでは学部の講義でやった方がいいのかもな。