“WKL”代表另一个定理(Weak Konig Lemma)：每一棵无穷的二叉树必定包含一条无穷长的分支。
基于12个网页-相关网页
代表另一个定理
Represents another theorem
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动