11/06/12 22:26:53.14
>>758
ああ、>>756を読む前に書き込んでました。
ACと同じ程度には超越的に感じますけどね。
WKLもACも、それを否定するor使わない、という立場が成り立つと思うんですが。
仮定： 無限の高さを持つ木の枝分かれが有限個
結論： 枝の少なくとも1本は無限の高さをもつ
イメージですが、これは「普通の仮定に対する強い結論」
仮定： ある理論のすべてのモデルに対して式Aが妥当
結論： その理論で式Aの証明が存在する
こっちは、「強い仮定に対する強い結論」というイメージ。
後者を得るために前者が必須になる？
>>759
>>743で紹介されてたやつですか。とりあえず丸善で斜め読みしてみます。安いしｗ