#Bitcoin 的Blockchain系统的 最重链 逻辑 符合 哥德尔 一阶谓词完备性原理。 ---- 老矢真是中本聪最高研究所所长。 完备系统才能保证安全可靠。 证明： #Bitcoin 的Blockchain 系统最长链 是概率投票出来的，不包含 皮亚诺算术，只包含 是与否的 一阶谓词形式系统。 double_sha256（block[nonce]） < difficult 的 验证 逻辑在分布式 miner 的 投票中， 最重链 只做 投票逻辑统计。 即： 投票统计为：多少miner 后面的算力 支持 包含该 Block的 最重链出块逻辑。