>>44
多分実数の公理もやっていない。
やっていれば距離空間や連続性は或る程度はすんなりと出来る。
もしかしたら、集合すら怪しいかも知れない。