暂时查不到

Church encoding

Wiktionary 没有响应，稍后再试。