「超積と超準解析」(齋藤正彦)を読んでいるのですが、I＝N (自然数全体の集合)の
とき、I上の超フィルターを、選択公理を使って構成できないでしょうか？ツォルンの
補題では、理解した気になりません。