Moreover, each of these open sets is Σ 1 0 {\displaystyle \Sigma _{1}^{0}} and the list of Gödel numbers of these open sets has a computable enumeration.
Осим тога, сваки од ових отворених скупова је  Σ 1 0 {\displaystyle \Sigma _{1}^{0}} и листа Геделових бројева отворених скупова има израчунљиву вредност.