Bitcoin can be formalized as: Bitcoin = (P2P, Consensus Mechanism). Here, P2P (peer-to-peer) represents all interaction relationships between nodes, while the consensus mechanism (C) is an ordinal logic system gamified by Nash equilibrium. **P2P Layer:** Each node can only see the interaction information of its neighbors. However, global knowledge exists in the synthesis of all node relationships. So, the overall information of Bitcoin is embedded within the P2P network itself. Turing's ordinal logic system O = (F, Ord, Oracle) can formally handle "infinity," but it has a fundamental flaw: it cannot converge to a unique solution. Nash's correction introduces game equilibrium. The system does not directly pursue a unique answer but maintains dynamic stability through infinite games, forming an operational equilibrium state that eventually converges to a unique solution. Thus, Bitcoin's consensus mechanism is: C = Nash(OrdinalLogic). It transforms the non-convergent infinite dynamics into game equilibrium. In the end: Bitcoin = (P2P, Nash(OrdinalLogic)). P2P is the information layer. The consensus mechanism is the logic layer. **The essence of Bitcoin:** A network that maintains stable operation through peer-to-peer games within infinite dynamics.