ɪt kæn biː stˈeɪɾᵻd baɪ ˈædɪŋ ɐ nˈuː fˈʌŋkʃən sˈɪmbəl tˈaʊ tə ðə lˈæŋɡwɪdʒ ʌv zˌiːˌɛfsˈiː, wɪððə pɹˈɑːpɚɾi ðæt tˈaʊ ɪz ɐ ɡlˈoʊbəl tʃˈɔɪs fˈʌŋkʃən.
It can be stated by adding a new function symbol τ to the language of ZFC, with the property that τ is a global choice function.