forcingで、ZFCの推移モデルを使うのではなく、
ZFCの十分多くの有限個の公理を満たす可算推移モデルを使う
というテクニックを知っているなら
Ωで₍R^N)^100全体ではなくその有限部分集合を考える
というアイデアに目くじらを立てる愚かな真似は全くしなかっただろう

いかなる命題の証明もその前提は有限個の論理式である