次があればぜひ
自由帳フィルターによって集合論の宇宙を拡大する話とかで
（念のため彼の人が誤解しないよう書いておくとVの中に
ある意味Vより大きいと見なせるようなモデルを作る話
超実数体は実数体を含まないけど自然に引き写せるみたいな）