ɪf ɪz ˈæstɚɹˌɪsk dᵻfˈaɪnəbəl fɹʌmðə sˈɛt , ðˈɛn ; moːɹˈoʊvɚ ðɛɹ ɪz ɐn ˈɔːɹdɪnəl , jˈuːnɪfˌɔːɹmli dᵻfˈaɪnəbəl fɹʌm , sˈʌtʃ ðˈæt .
If  is *definable from the set , then ; moreover there is an ordinal , uniformly  definable from , such that .