关于系统TRC中组合子的一些结果
Some results on combinators in the system TRC
摘要：
本文研究与新基础等相容的组合逻辑系统TRC。我们证明了各种未分层的组合子不存在于TRC。
英文摘要：
We investigate the system TRC of combinatory logic that is equiconsistent with New Foundations. We prove that various unstratified combinators do not exist in TRC.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
