今天知道了 Arrow's impossibility theorem，心想这不就是民主专政的数学形式吗。可惜有些人既不懂形式逻辑，也不懂辩证逻辑。