lambda演算的beta-eta理论是后完成的。是否可以添加其他规则来扩展lambda微积分的β理论，以获得除β-eta理论以外的融合理论？
后记
这个问题违反了我自己的规则，即问题应该解释提问者为什么在乎。
那天晚上，在这个网站进入私有测试版不久前，我感到震惊，因为扩展性和排除中间的原理相关，所以eta规则是某种扩展性规则，直觉主义和古典逻辑之间存在中间逻辑，那么如果有诸如“中间eta”理论之类的东西，那将很有趣。
如果我这样做了，很明显，叶夫根尼的答案在我提出问题的方式上提出了一个明显的问题，而不是我所追求的。