  We give a purely logical proof of the J. Conway and S. Kochen Free Will
theorem concerning undeterminacy in Quantum Mechanics (Notices of the AMS,
February 2009, Vol. 56/2, p. 226). The logical method seems to be very
powerful.
