The general mathematical and logical structure of various proofs of th
e inapplicability of the hidden variables theories for the description
of quantum models is analyzed. It is shown that the quantum paradoxes
of Bell, Kochen and Specker, Greenberger et al. and Hardy can be form
ally considered from a single view-point: they are all examples of the
failure to find a solution to a certain moments' problem.