Set theory undoubtedly serves as the cornerstone for mathematics. Furthermore, the acceptance and inclusion of specific pivotal axioms within set theory profoundly shape our understanding of the mathematical panorama. These axioms can directly affect the robustness of essential mathematical structures within various mathematical subfields. The axiom of choice (AC) stands out as one of the most debated axioms, with its controversies largely stemming from its non-constructive nature and counterintuitive outcomes, such as the Banach-Tarski theorem. Present investigations into the repercussions of weak and strong variations of AC tend to zero in on particular, isolated systems. However, a comprehensive high-level examination of the implications of these AC variants is notably absent. This study systematically scrutinizes the impact of both strong and weak versions of the axiom of choice on foundational mathematics and its subdivisions. The findings reveal that many elementary and core theorems can be demonstrated using weaker versions of AC. In contrast, more sophisticated or generalized outcomes, like Tychonoffs theorem, necessitate the full strength of AC. Additionally, this study delves into how potent versions of AC might yield valuable, albeit occasionally more constrained, outcomes in specific mathematical domains.