Comment on 20080722-1

ぜひ、張り切って萌え萌えな解説をお願いします。

ありがとうございます。Forcing の product の基礎から始める必要があるので、それなり長くなると思います。ただし、一つ一つのステップはそれほど難しくないので、萌えはちょっと難しい、というか私にとっては数学そのものが萌えなのですが、なるべく分かりやすく、三回くらいのシリーズを目標にしています。余りに頻繁に登場するので、今まで証明はもちろん、ステートメントも覚えられなかった (一般的な) Δシステムレンマレンマを覚えることができたのも大きな収穫です (笑)。