IUTを読むための用語集資料集スレ

IUTを読むための用語集資料集スレat MATH

IUTを読むための用語集資料集スレ - 暇つぶし2ch513:元々のΘリンクが、何かの理由によって　　　　　　(N=-2B) ∨ (N=-A) として認識（＝誤認！）されたとします。すると、まず、整数 A と B が、一致するとは限らないものであることを仮定することには全く意味がない、つまり、最初から「A=B」ということにしても、整合性（＝「無矛盾性」）の問題は全く発生しないのではないかと考えてしまいます。これは先ほどの「Xの誕生日...」∨「Xの誕生日...」と全く同じ現象です。しかし、最初から「A=B」ということにして、Θリンクの定義も　　　　　　　　　(N=-2A) ∨ (N=-A) ということにすると、「マルチラディアル表示」に移行する際、（「∧」ではなく！！）「∨」を引き継ぐことになり、つまり、　　　　　　(N=-2A+ε) ∨ (N=-A) という恰好の「∨版マルチラディアル表示」しか従わないことになってしまいます。つづく

次ページ

続きを表示

1を表示