△系统引理的一个注记  

A Note on the △ System Lemma

作　　者：裘江杰[1] Qiu Jiangjie

机构地区：[1]中国人民大学哲学院

出　　处：《哲学门》2017年第1期225-236,共12页Beida Journal of Philosophy

摘　　要：△系统引理是无穷组合学中的一个结果,应用颇广。自它被提出以来出现过至少三种不同的证明,除一种基于归纳的组合证明外,另外两种证法相对复杂。归纳证明也稍欠直观。本文整理了已有的这三种证法,然后给出一个简单但是直接的组合证明。△ System lemma is a result of infinite combinatorics,and its application is quite extensive.Since it was proved,there have been at least three different proofs.With the exception of one based on induction,the other two proofs are relatively comp lex.Inductive proof is also somewhat less intuitive.In this paper,the three types of proofs are summarized,and then a simple but direct proof of combination is given.

关 键 词：△系统引理 Fodor引理 初等子模型 

分 类 号：G63[文化科学—教育学]