  Counterfactual definiteness must be used as at least one of the postulates or
axioms that are necessary to derive Bell-type inequalities. It is considered by
many to be a postulate that is not only commensurate with classical physics (as
for example Einstein's special relativity), but also separates and
distinguishes classical physics from quantum mechanics. It is the purpose of
this paper to show that Bell's choice of mathematical functions and independent
variables implicitly includes counterfactual definiteness and reduces the
generality of the physics of Bell-type theories so significantly that no
meaningful comparison of these theories with actual Einstein-Podolsky-Rosen
experiments can be made.
