用初等证法建立了若干新的ｎ元Ｏｐｉａｌ型和Ｗｉｒｔｉｎｇｅｒ型离散不等式，从而将Ｂ Ｇ Ｐａｃｈ－ｐａｔｔｅ（１９８５～１９８７、１９９１）分别对二元及三元情形证得的诸结果加以推广和统一。......

弗雷格是现代逻辑的创始人，他奉行逻辑主义，认为由逻辑可以推导出数学，由此建立算术的形式系统。他试图探讨逻辑哲学，即把概念文字扩展......