0047132人目の素数さん垢版 | 大砲2017/12/13(水) 20:17:08.41ID:iZ+rAmTJ ちなみに>>39にあるような u * 0 = 1となるuについては、実数0は加法の単位元で、 実数1は乗法の単位元なので、1 + 0 = 1と分配法則から u = u * 1 = u * (1 + 0) = u * 1 + u * 0 = u + 1 よって u = u + 1 両辺からuを引いて 0 = 1 実数の0と1は等しくないので矛盾 だからこのような u は、(1)から(4)のどれにも属さない、 存在を仮定すると矛盾が導ける数、ということになる。