計算可能ならZFCなんかで証明することができる。
f[ω_1]についてはたまに海外でも話題になる