Arithmetic(Q11205)
Curry-Howard correspondence, Curry-Howard-Lambek correspondence, Gödel Numbering System