ある教科書におけるΠの定義

数学

脈絡のわからない方は、id:MarriageTheorem:20090204:1233682830 のコメント欄をごらんください。

帰納的関数 (共立講座 現代の数学)

帰納的関数 (共立講座 現代の数学)

定理2.3 (25ページ)より

\prod_{y<0}\psi(x_1,\ldots,x_n,y) = 1,
[tex:\prod_{y