数学基礎論・数理論理学　その20

K(x)=ω+1+x なら、k(ω^2)=ω+1+ω^2≠ω^2
>k(ω^2)=ω^2
はどこから出てきた？