Their Internet usage is growing very rapidly, and even they can do the math: If everyone in China needed an IPv4 address - just one - this country would use up one third of the entire public IP address space. ↗
Well it was not exactly a dissertation in logic, at least not the kind of logic you would find in Whitehead and Russell's Principia Mathematica for instance. It looked more like mathematics; no formalized language was used. ↗