Elimination of metarecursive in Owing's theorem

Proved existence of universe and minimal $\Pi^{1}_{1}$-numerations of $\Pi^{1}_{1}$-sets and absence of Friedberg and positive $\Pi^{1}_{1}$-numerations of all $\Pi^{1}_{1}$-sets.