In fact, mathematical proofs have shown that for any election with more than two options, it's impossible to design a voting system that doesn't violate at least some theoretically desirable criteria.

事实上，数学证明表明，对于任何有两个以上选项的选举，设计一个至少不违反某些理论上理想标准的投票系统是不可能的。