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