集合αが、自然数であるとは、αが順序数であり、任意のβ≦αは超限順序数ではないこと。 要するに、 0 = φ1 = {0} = {φ}2 = {0, 1} = {φ, {φ}}3 = {0, 1, 2} = {φ, {φ}, {φ, {φ}}} ・・・と、言うのを、先日のセミナーで勉強しました。 しかし、ラムダ計算を使…