A Unified Taxonomy of Explainability: Theoretical Foundations for XAI Methods | Synapse