スレタイ箱入り無数目を語る部屋35(あほ二人の”アナグマの姿焼き"Part9ｗ)

>>126
εN論法をフィルタで書くならフレシェでよいのでは？
それなら選択公理を必要としないが、自由超フィルタはオーバースペックで選択公理を必要とする。