>>687
>と大差ない厳密さで
順序の公理とかまで書いてあるの?

>厳密さはないと考えられていた。
ないと考えられていたというか、実際あまり無かったんじゃ