24/06/15 14:56:54.21 .net
マトモな論理学・数学では
異なるものを同一視するときには同一視するための射を定義した上で
何を捨象して同一視するのかという履歴を保持しなければならない
この操作をやらずに異なるものを同一視するのは矛盾を生み爆発律を導きあらゆる詭弁が正当化可能になる
24/06/15 14:56:54.21 .net
マトモな論理学・数学では
異なるものを同一視するときには同一視するための射を定義した上で
何を捨象して同一視するのかという履歴を保持しなければならない
この操作をやらずに異なるものを同一視するのは矛盾を生み爆発律を導きあらゆる詭弁が正当化可能になる