Most practicing mathematicians, like myself, observe the real world, and make an abstraction out of it, to build a rigorous theory. This formalism is actually closely related to the Upanishads’ teachings, helping us to sort out the essential from the inessential.