> > じゃあ何を持って史料にしてるのよ(;´Д`)嘘八百じゃん
> 例えば「孫子」だったら当時「漢書」という図書目録があって
> その二つで存在が証明されるんよ(;´Д`)片方だけじゃ正当性は証明できないのね不完全性定理だ

第1不完全性定理 自然数論を含む帰納的に記述できる公理系が、ω無矛盾であれば、証明も反証もできない命題が存在する。 
第2不完全性定理 自然数論を含む帰納的に記述できる公理系が、無矛盾であれば、自身の無矛盾性を証明できない。 


つまりどういうことよ？

参考：2007/06/25(月)23時01分31秒