Position: The Complexity of Perfect AI Alignment -- Formalizing the RLHF Trilemma