07/06/07 23:12:04
>>486
で、算術はその
>∀ｘ、0ｘ＝0
>これがゼロの定義であるような公理系
での公理系ではどう構成されるの？
そしてその公理系は一般に認識されている数学と一致すると保証されてるわけ？
そこを示さないことにはお話になりませんよ。
07/06/07 23:12:04
>>486
で、算術はその
>∀ｘ、0ｘ＝0
>これがゼロの定義であるような公理系
での公理系ではどう構成されるの？
そしてその公理系は一般に認識されている数学と一致すると保証されてるわけ？
そこを示さないことにはお話になりませんよ。