> > 定義から色々な定理を証明していくんじゃないか
> それはそう言う風に定義を作ったんだからそうだよ(´ー｀)

それで矛盾が生じないならいいじゃない(´ー｀)

参考：2004/08/01(日)18時57分01秒