超限逻辑选择函数

_

transfinite logical choice function