0273132人目の素数さん垢版2018/08/28(火) 23:51:47.46ID:HNRDsznq 計算可能ならZFCなんかで証明することができる。 f[ω_1]についてはたまに海外でも話題になる