ラムダ計算
Lambda calculus is a consistent theory in its own domain. However, it is not consistent to add the lambda abstraction definition to general mathematics. Lambda terms describe values from the lambda calculus domain. Each lambda term has a value in that domain.