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

定理証明機の正確さの証明機

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