Generic filterとは 意味・読み方・使い方

意味・対訳 数学の集合論における、ジェネリックフィルター とは、強制法の理論で使われる対象の一種で、 そのテクニックはいろんな目的に使われるが、特に、何かしらの命題の ZFCのような形式的な理論からの独立性を示すのに使われる。