選択公理を仮定するなら超filterは存在
from
超準解析入門-超実数と無限大の数学-
選択公理
を仮定するなら、
超filter
$ \tilde{\mathcal F}
は存在する
Zornの補題
を使って示せる
#2023-11-19
13:49:19