Up
2.1.3
の構成的定義
-
(テクスト作成:1990年)
2.1.3.1 “入れ篭型の自然数系列”
2.1.3.2 自由半群からの“自然数の系”の導出