＞自然数で成り立つものは当然ながら実数や複素数に拡張可能
＞デデキント切断
集合論に慣れ過ぎて、述語を見たら無意識に対応する集合を思い浮かべてしまう習性というものがある
ID:1aR7KHUeはこれに陥ってるのかもね

>>217
横レスだけど
あるわけないでしょ
そんな無茶ぶりしても君が優位に立つということにはならないよ