I'm not sure why it has not yet been pointed out that all known applications of mathematics to explain or predict phenomena in the real world only rely on a very weak part of mathematics. For example, it is well known that ACA (see Reverse Mathematics) suffices for almost all real analysis, and o...