>  2004/08/01 (日) 18:57:01        [mirai]
> > 定義出して正しいのはこれだなんて言うのは恥ずかしいと思わないの(´ー`)
> 定義から色々な定理を証明していくんじゃないか

それはそう言う風に定義を作ったんだからそうだよ(´ー`)

参考:2004/08/01(日)18時54分52秒