ˈɛmɪl pˈoʊst pɹˈuːvd ðˌæɾə sˈɛt ʌv lˈɑːdʒɪkəl kənˈɛktɪvz ɪz fˈʌŋkʃənəli kəmplˈiːt ɪf ænd ˈoʊnli ɪf ɪɾ ɪz nˌɑːɾə sˈʌbsɛt ʌv ˌɛni ʌvðə fˈɑːloʊɪŋ sˈɛts ʌv kənˈɛktɪvz:
Emil Post proved that a set of logical connectives is functionally complete if and only if it is not a subset of any of the following sets of connectives: