Бета-ета-теорія лямбда-числення є пост-повною. Чи можна додати додаткові правила для розширення бета-теорії лямбда-числення, щоб отримати конфліктуючі теорії, окрім теорії бета-ета?
Постскрипт
Це запитання порушило моє власне правило, згідно з яким питання повинні пояснювати, чому допитувача це хвилює.
Мене це вразило однієї ночі, незадовго до того, як цей сайт перейшов у приватну бета-версію, що, оскільки розширеність і принцип виключеної середини пов'язані, правило eta є якимось правилом розширення, і між інтуїтивістською та класичною логікою є проміжна логіка, то було б цікаво, якби існувало таке поняття, як "проміжні ета" теорії.
Якби я це зробив, було б очевидно, що відповідь Євгенія викликає очевидну проблему в тому, як я сформулював це питання, а не бути тим, що я хотів.