> > その証明機の正しさは誰が証明しますか
> 定理証明機の正確さの証明機

GNU is Not UNIX

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