ラムダ計算のベータイータ理論はポストコンプリートです。ラムダ計算のベータ理論を拡張して、ベータイータ理論以外のコンフルエントな理論を得るために、追加のルールを追加できますか？
追記
この質問は質問が質問者が気にする理由を説明するべきであるという私自身の規則に違反しました。
このサイトがプライベートベータに移行する少し前に、ある夜私に衝撃を与えました。拡張性と除外されたミドルの原則が関連しているため、イータルールはある種の拡張性ルールであり、直観主義と古典的論理の間には中間論理があり、 「中間イータ」理論のようなものがあれば面白いでしょう。
もしそうすれば、エフゲニーの答えが、私が求めていたものではなく、私が質問を定式化する方法において明らかな問題を引き起こすことは明らかだっただろう。