图灵的《论基于序数的逻辑系统》用 神谕图灵机 + 超穷迭代的手艺（二阶谓词代表语义的手艺）来解决 Π₂结构问题（(∀x)(∃y)R(x,y)）。 而Bitcoin 即为这个方法落地的具体实例，对于任意的TX都存在一个递归的 Block 来 确认TX 不被双花。 其中 Bitcoin 的区块是超穷迭代递归的模式，而每个区块判断自己是否是最长链的模型是一个神谕图灵机相对判定的模式。 而每个区块和区块之间的语法是不想干的， 区块和区块之间通过 神谕机的决策 hash 索引 来表示，对应着 图灵超穷迭代的 公理化层次表现。 这种块与块之间的链接通过神谕机判定来完成，而信任的增长通过 超穷迭代来 公理化巩固，这个神谕机+超穷迭代的过程中产生了 超越一阶谓词系统的单纯的语法结构，达到了机械自动表达语义中（信任/责任）的表达。