关于东亚史前社会的形式化综述

普通人都知道史前社会的基本框架吧，只是没有实证。就像普通人相信Goldbach conjecture，只是没有证明。

比如关于东亚史前社会的一些事实，
前15k年开始制陶(江西仙人洞)
前7k年开始氏族社会--三皇之伏羲氏(大地湾文化)
前5k年开始母系氏族社会--三皇之女娲氏(仰韶文化半坡类型)
前4k年开始父系氏族社会--三皇之神农氏(仰韶文化庙底沟类型)
前2.6k年开始五帝时代(龙山文化时代)
前2k年开始夏朝(王湾三期文化)
前1.6k年开始商朝(二里岗文化)
前1.1k年开始周朝(周原)


Goedel's incompleteness theorems,
第一定理
任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为否。
第二定理
如果系统S含有初等数论，当S无矛盾时，它的无矛盾性不可能在S内证明。

历史学是包含一阶谓词逻辑的，所以根据Goedel's incompleteness theorems 历史学中有不可证明的命题。关于夏朝的记载就是历史学不可证明的命题。


就像 Euclid axiomatic system 的公理不可证明一样，三皇五帝三代就是中国古史系统的公理，不可证明。

结论
夏朝无法证明了。


PS
其实恐龙也没有证实。虽然世界各地发现很多类似史前动物化石，但至今没有任何证据证明这种史前动物叫恐龙。
--
修改:lu1 FROM 119.39.21.*
FROM 119.39.21.*