ðɪ ˈæksɪəm ʌv ɡlˈoʊbəl tʃˈɔɪs kænˈɑːt biː stˈeɪɾᵻd dᵻɹˈɛktli ɪnðə lˈæŋɡwɪdʒ ʌv zɜːmˈiːloʊ fɹˈiːŋkəl sˈɛt θˈiəɹi zˌiːˈɛf wɪððɪ ˈæksɪəm ʌv tʃˈɔɪs ˌeɪsˈiː, nˈoʊn æz zˌiːˌɛfsˈiː, æz ðə tʃˈɔɪs fˈʌŋkʃən tˈaʊ ɪz ɐ pɹˈɑːpɚ klˈæs ænd ɪn zˌiːˌɛfsˈiː wˈʌn kænˈɑːt kwˈɔntᵻfˌaɪ ˌoʊvɚ klˈæsᵻz.
The axiom of global choice cannot be stated directly in the language of Zermelo–Fraenkel set theory (ZF) with the axiom of choice (AC), known as ZFC, as the choice function τ is a proper class and in ZFC one cannot quantify over classes.