13/12/07 20:45:41.83
>>378
>＞Natの定義がどうマトモでないか
>これから定義するべきNat自身を使って
>Natを定義しているところ。
ということは、帰納的定義はマトモでないと言っているのですね。
しかしこれは、その直後で
>整礎関係に対する帰納的定義の場合は、
というように、帰納的定義は認めているようなのと矛盾するのではないですか？
唯一のものを定めていないからマトモでない、というのならまだ分りますが、
Nat自身を使ってNatを定義すること自体はOKですよね。
13/12/07 20:45:41.83
>>378
>＞Natの定義がどうマトモでないか
>これから定義するべきNat自身を使って
>Natを定義しているところ。
ということは、帰納的定義はマトモでないと言っているのですね。
しかしこれは、その直後で
>整礎関係に対する帰納的定義の場合は、
というように、帰納的定義は認めているようなのと矛盾するのではないですか？
唯一のものを定めていないからマトモでない、というのならまだ分りますが、
Nat自身を使ってNatを定義すること自体はOKですよね。