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

観測する主体

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