2
Чи має система F з парами сильні властивості нормалізації та зменшення об'єкта?
У багатьох підручниках легко знайти докази зменшення теми та сильну нормалізацію для системи F, також, іноді є визначення системи F з парами, де (t, r) - термін, а не лише кодування. Питання в тому, що було б еталонним для цієї системи?