1/Bitcoin cannot be fully described by Turing machine theory. UTXO trading is a deterministic Turing machine; Block competition approximates non deterministic Turing machines. But the continuity and irreversibility of blockchain go beyond the boundaries of computability. 2/BFT system relies on human arbitration in multi branch conflicts; Bitcoin uses PoW to embed rulings into the dissipative process of physical time, allowing the system to spontaneously generate a unique history. 3/Key: Bitcoin, through the "craftsmanship" of ordinal logic system, introduces intuitive judgment beyond formal system, and constructs oracle machine and its process. This injects uncomputable 'completeness' into the computing system. 4/ Spatial dimension: Consistency → Static, computable logic. Time dimension: completeness → dynamic, uncomputable process. 5/ G ö del's incompleteness theorem: Consistency can be explored within formal systems, but completeness must go beyond form. Bitcoin introduces uncomputable completeness into computing systems through PoW+ordinal logic, becoming a hyper formal system.