ðə beɪˈiːʒən nˈæʃ ɹˌɛvɪlˈeɪʃənpɹˈɪnsɪpəl sˈɛz ðæt ˈɛvɹi sˈoʊʃəltʃˈɔɪs fˈʌŋkʃən ðæt kæn biː ˈɪmplɪməntᵻd ɪn beɪˈiːʒən nˈæʃ ˌiːkwɪlˈɪbɹiəm beɪˈiːʒən ɡˈeɪm, ˈaɪ.ˈiː. ɡˈeɪm ʌv ɪŋkəmplˈiːt ˌɪnfɚmˈeɪʃən kæn biː ˈɪmplɪməntᵻd baɪ ɐ bˈiːnˈɪk mˈɛkənˌɪzəm.
The Bayesian–Nash revelation-principle says that every social-choice function that can be implemented in Bayesian–Nash equilibrium (Bayesian game, i.e. game of incomplete information) can be implemented by a BNIC mechanism.