  We introduce and formalize a notion of "a priori knowledge" about a quantum
system, and show some properties about this form of knowledge. Finally, we show
that the Kochen-Specker theorem follows directly from this study. This version
is a draft version, the bibliography in particular is extremely scarce.
Comments welcome.
