mnˈoʒystvʌ ʒˈɛ fsʲˈex kʌnʲˈetʃʲnyx pʌdmnˈoʒystf javɭʲˈɑjitsʌ ʌbjjidʲinʲˈenʲijim kʌnʲˈetʃʲnyx pʌdmnˈoʒystf s ʌprʲidʲiɭʲˈɵnnym tʃʲisɭˈom ɛɭʲimʲˈentʌf kˈoix ɕˈɵtnʌjɪ tʃʲisɭˈo, tˈo jestʲ ɕˈɵtnʌ.
Множество же всех конечных подмножеств является объединением конечных подмножеств с определённым числом элементов (коих счётное число), то есть счётно.