transfinite logical choice function的意思|示意
美 / ˌtrænsˈfainait ˈlɔdʒikəl tʃɔis ˈfʌŋkʃən /
英 / trænsˈfaɪˌnaɪt ˈlɑdʒɪkəl tʃɔɪs ˈfʌŋkʃən /
超限逻辑选择函数