集合として定義可能でも、あるものがその集合の要素かどうかの
判定が有限ステップでできない、あるいは決定不能だったら、
そういう集合はどうするんだ？

例えば、数学的に真な命題の集合という集合は定義できても、
何が要素であるかということを決める方法は無い。