Arrow (1951) has the original proof of this “impossibility” theorem. See among many other works Kelly 1978, Campbell and Kelly 2002, Geanakoplos 2005 and Gaertner 2009 for variants and different proofs.