> > 定理証明機の実現まだぁ?
> その証明機の正しさは誰が証明しますか

自作自演

参考：2002/01/11(金)01時12分58秒