Church numeral

短语

词形变化

Church numerals 复数 Church numerals

释义与例句

n.
  1. 1.

    A representation of a natural number using lambda notation.

词源

Named after Alonzo Church.

来源：wiktionary