О предполно нумерованных множествах

Доказывается, что если $P(\mathbf{N},\mathfrak{G})$, т. е. существует главная вычислимая нумерация семейства морфизмов из нумерованного множества $\mathbf{N}$ в нумерованное множество $\mathfrak{G}$, то $\mathfrak{G}$ предполно. Таким образом, условие $P(\mathbf{N},\mathfrak{G})$ является эквивалентным определением предполно нумерованных множеств.
Библ. 2.