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]