> > 例えば「孫子」だったら当時「漢書」という図書目録があって > > その二つで存在が証明されるんよ(;´Д`)片方だけじゃ正当性は証明できないのね不完全性定理だ > 第1不完全性定理 自然数論を含む帰納的に記述できる公理系が、ω無矛盾であれば、証明も反証もできない命題が存在する。 > 第2不完全性定理 自然数論を含む帰納的に記述できる公理系が、無矛盾であれば、自身の無矛盾性を証明できない。 > > つまりどういうことよ? 一つの史料だけあってもその史料の正当性を認める他の史料が無い限り 証拠能力はないというのでなんとなく不完全性定理を思い出しただけで 別に深い意味は無いよ(;´Д`) 参考:2007/06/25(月)23時02分36秒