Lambek–Moserの定理
本はありません。