11/06/13 00:26:49.61
>>760
「高さが無限で枝分かれが有限個の木は、
その枝の少なくとも1本の高さが無限」（WKL）
↓
「枝分かれが無限個の木は、
その高さが有限またはその枝の少なくとも1本の高さが無限」
↓
「枝の長さがすべて有限の木は、枝分かれが有限個」
これが、
LKの証明図を下から辿る時に必要になるが
完全性定理の肝と言うわけではない。
11/06/13 00:26:49.61
>>760
「高さが無限で枝分かれが有限個の木は、
その枝の少なくとも1本の高さが無限」（WKL）
↓
「枝分かれが無限個の木は、
その高さが有限またはその枝の少なくとも1本の高さが無限」
↓
「枝の長さがすべて有限の木は、枝分かれが有限個」
これが、
LKの証明図を下から辿る時に必要になるが
完全性定理の肝と言うわけではない。