Edit Comment on
20061122-1
n[0] = "<a href="http://d.hatena.ne.jp/kururu_goedel/">くるる</a>"; m[0] = "多分かがみさんの証明も正しいと思います。ただ、j(V_\alpha)=V_\alphaだけでは十分でなく、j(V_{\alpha+n})=V_{\alpha+n}が全ての自然数nに対して成り立っていることが必要になると思います。そうでないと高階の変数の動く場所が変わってしまうので。<br>もっとも、κがwitnessになって∃α＜j(κ)がいえるという筋はよく使うので覚えておいて損はありませんが。"; d[0] = "2006-11-23 16:40:36"; n[1] = "かがみ"; m[1] = "いつも分かりやすく教えて頂きありがとうございます。<br>この方面の証明は落とし穴が多く、ちょっと油断すると間違えるので、心配していたのですが、なんとか正しかったようでうれしいです。<br>V_{\alpha+n} に関しては、本文の最後の記述がそのつもりだったのですが、明らかに言葉不足でした。後で修正致します。<br>"; d[1] = "2006-11-23 22:00:35";
(password)