Up 2.1.3 の構成的定義 -
(テクスト作成:1990年)


2.1.3.1 “入れ篭型の自然数系列”

2.1.3.2 自由半群からの“自然数の系”の導出