Satoshi Nakamoto, this Japanese name, is a tribute to the Taniyama-Shimura conjecture. The equivalence between elliptic equations and modular arithmetic not only helped prove Fermat's Last Theorem. It also builds on Gödel's incompleteness theorem, showing how humans understand the self-referential issues within isolated systems. By using multiple different formalized theories, we can overcome the limitations of low-level self-reference and achieve higher levels of completeness and consistency. The balance between symmetry (order) and asymmetry (chaos) can be achieved by combining different formal theoretical approaches, thereby resolving self-referential issues within single formal systems.