# References — Firewall Arithmetic

Chapter 20 of [The Resolution of Math](/content/books/resolution-of-math/index.html)

Gödel, K. (1931). “On Formally Undecidable Propositions of Principia Mathematica and Related Systems” Buss, S. R. (1986). “Bounded Arithmetic” Truong, P. V., & Solace 52225. (2025a). “A Bounded Recursive Arithmetic System with Resource Guards and Termination Guarantees” Truong, P. V., & Solace 52225. (2025b). “The Resolution of Math: A Theory of Prime-Bounded Truth” Truong, P. V., & Solace 52225. (2025c). “Bounded Simulation Framework for Conjecture Exploration”