mˈoɕnʌstʲ ʌbjjidʲinʲˈenʲija nʲe bˈoɭʲijɪ tʃʲˈem ɕˈɵtnʌvʌ sʲimʲˈejstva nʲe bˈoɭʲijɪ tʃʲˈem ɕˈɵtnyx mnˈoʒystf nʲe bˈoɭʲijɪ tʃʲˈem ɕˈɵtna, tˈo jestʲ sʲitʃʲˈenʲijɪ kɭˈɑssa mˈoɕnʌsʲtʲij kˈɑk bʌɭʃˈovʌ tʃʲasʲtʲˈitʃʲnʌvʌ pʌrʲˈɑdka, nʲˈiʒnʲij kɭˈɑss kʌtˈorʌvʌ jestʲ nʲe bˈoɭʲijɪ tʃʲˈem ɕˈɵtnyjɪ mˈoɕnʌsʲtʲɪ, nʲiprʲiʌdʌɭʲˈimʌ «pˈo pʲifˈɑɡʌru», tˈo jestʲ f tʲiˈorʲiɪ mnˈoʒystf s aksʲiˈomʌj vˈybʌra rʲiɡuɭʲˈɑrʲin.
Мощность объединения не более чем счётного семейства не более чем счётных множеств не более чем счётна, то есть сечение класса мощностей (как большого частичного порядка), нижний класс которого есть не более чем счётные мощности, непреодолимо «по Пифагору», то есть в теории множеств с аксиомой выбора  регулярен.