Any satisfactory method of making a social choice should be in some measure representative of the individual criteria which enter into it, should use the range of possible actions, and should observe consistency conditions among the choices made for different data sets. Arrow's Theorem, or the Impossibility Theorem, states that there is no social choice mechanism which satisfies such reasonable conditions and which will be applicable to any arbitrary set of individual criteria. This article sets out the proof of the theorem.