On the assumptions underlying KS-like contradictions.

The Kochen-Specker theorem is one of the fundamental no-go theorems in quantum theory. It has far-reaching consequences for all attempts trying to give an interpretation of the quantum formalism. In this work, we examine the hypotheses that, at the ontological level, lead to the KochenSpecker contradiction. We emphasize the role of the assumptions about identity and distinguishability of quantum objects in the argument.