06/10/29 23:20:53
>>64
＞勝手に 1＝2 と定義なんてしちゃうと、その他の公理から1≠2が証明できるので系が矛盾してしまう。
「その他の公理」として何を採用するかで、矛盾するか どうかは変わる。実際、別の公理を採用すれば
1＝2は成り立つ。
例：F_2(標数2の素体)においては1＝2である。
06/10/29 23:20:53
>>64
＞勝手に 1＝2 と定義なんてしちゃうと、その他の公理から1≠2が証明できるので系が矛盾してしまう。
「その他の公理」として何を採用するかで、矛盾するか どうかは変わる。実際、別の公理を採用すれば
1＝2は成り立つ。
例：F_2(標数2の素体)においては1＝2である。