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

さすが倒錯の(ですね)人
『自由帳フィルターによって集合論の宇宙を拡大する話』『Vの中に』：ワードサラダ！ ”超フィルター”は ご愛敬だから許容するとして
誤解と倒錯
下記を百回音読してねｗ

(参考)
https://ja.wikipedia.org/wiki/%E8%B6%85%E7%A9%8D
超積
超積の顕著な応用として、例えばコンパクト性定理および完全性定理の非常にエレガントな証明、キースラー（英語版）の超冪定理（初等同値に関する 意味論的概念の代数的特徴付けを与える）、そして解析学の超準モデルを構成するための超構造およびその間の単型射の使用に関するロビンソン–ザコン表示（アブラハム・ロビンソンが（コンパクト性定理の応用として）開拓した超準解析の分野の成長を導いた）などを挙げることができる。
例
巨大基数論における標準的な構成は、集合論的宇宙全体の、注意深く適切に選ばれた超フィルター U に関する超積をとる。この超フィルター U の性質は超積の（高階の）性質に強く影響する。例えば、U が σ-完備ならば、超積はふたたび整礎となる（原型例は可測基数（英語版）の項を参照）。

https://en.wikipedia.org/wiki/Ultrafilter
Ultrafilter
Ultrafilters on partial orders
Types and existence of ultrafilters
In general, proofs involving the axiom of choice do not produce explicit examples of free ultrafilters, though it is possible to find explicit examples in some models of ZFC; for example, Gödel showed that this can be done in the constructible universe where one can write down an explicit global choice function. In ZF without the axiom of choice, it is possible that every ultrafilter is principal.[5]
(google訳)
一般に、選択公理を含む証明は自由超フィルタの明示的な例を生成しないが、 ZFCのいくつかのモデルでは明示的な例を見つけることができる。たとえば、ゲーデルは、明示的なグローバル選択関数を書き下すことができる 構成可能宇宙ではこれが可能であることを示した。選択公理のないZFでは、すべての超フィルターが主フィルターである可能性がある。 [ 5 ]

Applications
In set theory ultrafilters are used to show that the axiom of constructibility is incompatible with the existence of a measurable cardinal κ. This is proved by taking the ultrapower of the set theoretical universe modulo a κ-complete, non-principal ultrafilter.[6]
(google訳)
集合論において、構成可能性の公理が可測基数 κ の存在と両立しないことを示すために、超フィルターが用いられます。これは、κ-完備かつ非主な超フィルターを法として集合論的宇宙の超積をとることによって証明されます。[6]