ɪn vˈɑːn nˈuːmən bˈɜːneɪz ɡˈɜːdəl sˈɛt θˈiəɹi, ɡlˈoʊbəl tʃˈɔɪs dʌznˌɑːt ˈæd ˌɛni kˈɑːnsɪkwəns ɐbˌaʊt sˈɛts nˌɑːt pɹˈɑːpɚ klˈæsᵻz bᵻjˌɔnd wʌt kˌʊdɐv bˌɪn dᵻdˈuːst fɹʌmðɪ ˈɔːɹdɪnˌɛɹi ˈæksɪəm ʌv tʃˈɔɪs.
In von Neumann–Bernays–Gödel set theory, global choice does not add any consequence about sets (not proper classes) beyond what could have been deduced from the ordinary axiom of choice.