стр. 36:
Quote
...найдётся p: x /- Gp (x1, ..., xkp), где xi /- A.
Gp: U^kp -> U, поэтому x никак не может принадлежать её результату. Кроме того, непонятно, что такое A. У нас ведь есть только Ai (A с индексом), а просто A нету.
Quote
Значит, поскольку An < UiAi...
Должно быть нестрогое подмножество. стр. 37:
(определение F*) Что такое R?
стр. 41:
Quote
По правилу 3: (\x.(I I)) x => (\x.I) x
Это неправда. Правило 3 говорит про абстракции, а это, очевидно, применения.