  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.
