ラムダ計算
自然演繹とラムダ計算との間の対応.