सामान्य संतुलन विश्लेषण में, किस अर्थशास्त्री को समीकरणों की एक प्रणाली का उपयोग करके सामान्य संतुलन की अवधारणा को औपचारिक रूप देने का श्रेय दिया जाता है?