16/06/26 19:14:18.75 NmvvvsfT.net
>>277
＞「実数体に対する主張を超実数体に対して引き移す」ことができるということを移行原理（英語版）という。
移行原理は偽である。反例は ∞∈/R という実数体に対する主張。
16/06/26 19:14:18.75 NmvvvsfT.net
>>277
＞「実数体に対する主張を超実数体に対して引き移す」ことができるということを移行原理（英語版）という。
移行原理は偽である。反例は ∞∈/R という実数体に対する主張。
16/06/26 19:14:18.75 NmvvvsfT.net
>>277
＞「実数体に対する主張を超実数体に対して引き移す」ことができるということを移行原理（英語版）という。
移行原理は偽である。反例は ∞∈/R という実数体に対する主張。