13/12/07 18:14:56.35
>>375
それで、私のNatの定義がどうマトモでないかへの答えは、
ここのどこに書かれていますか？
マトモかどうかは分らないというのが答えなのでしょうか？
それから
>Natの定義はwell-definedであることも要証明なんだけど、
>この証明はやってみると全然できない。
まさかそんなことないでしょ？
13/12/07 18:14:56.35
>>375
それで、私のNatの定義がどうマトモでないかへの答えは、
ここのどこに書かれていますか？
マトモかどうかは分らないというのが答えなのでしょうか？
それから
>Natの定義はwell-definedであることも要証明なんだけど、
>この証明はやってみると全然できない。
まさかそんなことないでしょ？