> 定理証明機の実現まだぁ?

その証明機の正しさは誰が証明しますか

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