>>758
ああ、>>756を読む前に書き込んでました。
ACと同じ程度には超越的に感じますけどね。
WKLもACも、それを否定するor使わない、という立場が成り立つと思うんですが。

仮定：　無限の高さを持つ木の枝分かれが有限個
結論：　枝の少なくとも1本は無限の高さをもつ
イメージですが、これは「普通の仮定に対する強い結論」

仮定：　ある理論のすべてのモデルに対して式Aが妥当
結論：　その理論で式Aの証明が存在する
こっちは、「強い仮定に対する強い結論」というイメージ。

後者を得るために前者が必須になる？

>>759
>>743で紹介されてたやつですか。とりあえず丸善で斜め読みしてみます。安いしｗ