The algebra of physical magnitudes

We define a physical magnitude as an equivalence class of measurement procedures and formulate sufficient restrictions on the equivalence relation to guarantee meaningful algebraic operations between magnitudes. These restrictions are not sufficient to let the Kochen and Specker argument go through. They are, however, stronger than mere statistical equivalence of measurement procedures and thus are relevant to the problem of the completeness of quantum mechanics. In fact, they give rise to a strong argument for the incompleteness of quantum mechanics.