This paper introduces a formal mathematical taxonomy of four principal health insurance models: Bismarckian, Beveridgean, Commercial, and Collaborative & Contributive (C&C). Each model is analyzed for its structural characteristics, sustainability conditions, and demographic resilience under...