ラムダ計算
ラムダ計算はペアノの公理を満たす自然数の、異なる構成法を与える。