ラムダ計算
Lambda calculus allows recursion by passing the same function that is called as a parameter. This allows situations where formula_32 has multiple or no solutions for formula_31.