Axioms for Automated Market Makers: A Mathematical Framework in FinTech and Decentralized Finance - BizPub.ai