1=0.999… その13.999… - 暇つぶし2ch

1=0.999… その13.999… at MATH

897:１３２人目の素数さん
07/01/19 17:37:05
>>886乙

でも大小の定義多分間違ってる
0≦0⇔(φ,φ)≦(φ,φ)⇔￢(φ≧(φ,φ))∧￢((φ,φ)≧φ)⇔￢(x∈φ⇒x≧(φ,φ))∧￢((φ,φ)≧φ)
x∈φ⇒x≧(φ,φ)は真だから0≦0が偽になる？（？）