Изменения
→Утверждение 2
===Утверждение 2===
<wikitex>Можно перечислить все функции из <math>$\tilde{P}</math>$.
Аналогично предыдущему доказательству, сначала построим последовательность <math>$\tilde{f_i}</math>$,а затем, добавив таймер <math>$in^i</math>$, получим последовательность <math>$f_i$.</mathwikitex>.
===Описание способа построения <math>A</math>===
