数学基礎論・数理論理学のスレッド　その7

数学基礎論・数理論理学のスレッド　その7at MATH

数学基礎論・数理論理学のスレッド　その7 - 暇つぶし2ch756:超越論的数学天使 ◆xKQl9rTMwao4
11/06/12 21:31:30.64
>>749
弱ケーニッヒは
「無限の高さを持つ木の枝分かれが有限個なら、
枝の少なくとも1本は無限の高さをもつ」
というイメージ。