A priori knowledge and the Kochen–Specker theorem

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.