There is no axiomatic system for the quantum theory

Recently, [arXiv:0810.3134] is accepted and published. We derive an inequality with two settings as tests for the existence of the Bloch sphere in a spin-1/2 system. The probability theory of measurement outcome within the formalism of von Neumann projective measurement violates the inequality. Namely, we have to give up the existence of the Bloch sphere. Or, we have to give up the probability theory of measurement outcome within the formalism of von Neumann projective measurement. Hence it turns out that there is a contradiction in the Hilbert space formalism of the quantum theory, viz., there is no axiomatic system for the theory.


I. INTRODUCTION
Recently, [1] is accepted and published. As a famous physical theory, the quantum theory (cf. [2,3,4,5,6]) gives accurate and at times remarkably accurate numerical predictions. Much experimental data has been agreed with the quantum predictions for long time.
Here we aim to show that there is a contradiction in the Hilbert space formalism of the quantum theory. This implies that there is no axiomatic system for the theory.
In what follows, we derive an inequality with two settings as tests for the existence of the Bloch sphere, a proposition of the quantum theory, in a spin-1/2 system. The probability theory of measurement outcome within the formalism of von Neumann projective measurement violates the inequality. What we need is only one spin-1/2 state (a twodimensional state). Therefore, there is a contradiction in the set of propositions of the quantum theory in a spin-1/2 system, viz., there is no axiomatic system for the quantum theory.

II. NOTATION AND PREPARATIONS
Throughout this paper, we assume von Neumann projective measurement and we confine ourselves to the finitedimensional and the discrete spectrum case. Let R denote the reals where ±∞ ∈ R. We assume every eigenvalue in this paper lies in R. Further, we assume that every Hermitian operator is associated with a unique observable because we do not need to distinguish between them in this paper.
We assume the validity of the quantum theory and we would like to investigate if the probability theory of quantum measurement outcome is possible. Let O be the space of Hermitian operators described in a finite-dimensional Hilbert space, and T be the space of density operators described in the Hilbert space. Namely, T = {ψ|ψ ∈ O ∧ ψ ≥ 0 ∧ Tr[ψ] = 1}. Now we define the notation θ which represents one result of quantum measurement. Suppose that the measurement of a Hermitian operator A for a system in the state ψ yields a value θ(A) ∈ R. Let us consider the following propositions. Here, χ ∆ (x), (x ∈ R) represents the characteristic function. ∆ is any subset of the reals R.
Proposition: BSF (the Born statistical formula), The whole symbol (∆) ψ θ(A) is used to denote the proposition that θ(A) lies in ∆ if the system is in the state ψ. And Prob denotes the probability that the proposition holds.
Let us consider a probability space (Ω, Σ, µ ψ ), where Ω is a nonempty space, Σ is a σ-algebra of subsets of Ω, and µ ψ is a σ-additive normalized measure on Σ such that µ ψ (Ω) = 1. The subscript ψ expresses that the probability measure is determined uniquely when the state ψ is specified.
Proposition: P (the probability theory of measurement outcome), Measurable function f A (ω) exists for every Hermitian operator A in O. Proposition: D (the probability distribution rule), Now, we see the following: Lemma: [7] Let S A stand for the spectrum of the Hermitian operator A. If Proof: Note Hence we have QED. Thus, one may assume the probability measure µ ψ is chosen such that the following relation is valid: for every Hermitian operator A in O. From BSF, P, and D, the possible value of f A (ω) takes eigenvalues of A almost everywhere with respect to µ ψ in Ω. That is, we have the following theorem.
Theorem: (The possible values of measurement outcome): Let S A stand for the spectrum of the Hermitian operator A. For every quantum state described in a Hilbert space H,

III. THERE IS NO AXIOMATIC SYSTEM FOR THE QUANTUM THEORY
Here, we shall show the following theorem. Theorem: [The Bloch sphere exists.] ∧ BSF ∧ P ∧ D ⇒ ⊥.
Proof: Assume a spin-1/2 state ψ. Let σ be (σ x , σ y , σ z ), the vector of Pauli operator. The measurements (observables) on a spin-1/2 state of n· σ are parameterized by a unit vector n (direction along which the spin component is measured).
Here, · is the scalar product in R 3 .
One has a quantum expectation value E QM as E QM ≡ Tr[ψ n k · σ], k = 1, 2. (9) One has x ≡ x (1) , y ≡ x (2) , and z ≡ x (3) which are the Cartesian axes relative to which spherical angles are measured. Let us write the two unit vectors in the plane defined by x (1) and x (2) in the following way: Here, the angle θ k takes two values: We shall derive a necessary condition for the quantum expectation value for the system in a spin-1/2 state given in (9). Namely, we shall derive the value of the scalar product (E QM , E QM ) of the quantum expectation value, E QM given in (9). We use decomposition (10). We introduce simplified notations as and (c 1 k , c 2 k , ) = (sin θ k , cos θ k ).
Then, we have where we have used the orthogonality relation 2 k=1 c α k c β k = δ α,β . From a proposition of the quantum theory, the Bloch sphere, the value of Clearly, the reason of the condition (14) is the Bloch sphere Thus a violation of the inequality (14) implies a violation of the existence of the Bloch sphere (in a spin-1/2 system). Let us assume BSF, P, and D hold. In this case, a quantum expectation value, which is the average of the results of projective measurements (based on a probability space) is given by The possible values of f n (ω) are ±1 (in /2 unit) almost everywhere with respect to µ ψ in Ω. We shall derive a necessary condition for the quantum expectation value obtained by the projective measurements on a spin-1/2 state given in (16). We shall derive the absolute value of the scalar product |(E QM , E QM )| of the quantum expectation value, E QM given in (16). One has We have used the following, viz., Therefore, one has the value (17) in contradiction to (14). As we have shown, it should be that (E QM , E QM ) ≤ 1 if we accept the existence of the Bloch sphere. However, using BSF, P, and D, the probability theory of the results of von Neumann projective measurements violates the inequality since |(E QM , E QM )| = 2. Namely, we have to give up, at least, one of propositions, the Bloch sphere, BSF, P, and D. QED.

IV. SUMMARY
In summary, the probability theory of the results of von Neumann projective measurements cannot allow the existence of the Bloch sphere. These quantum-theoretical propositions must contradict each other. Therefore there is a contradiction in the set of propositions of the quantum theory. Hence there is no axiomatic system for the quantum theory. Our result was obtained in a quantum system which is in a spin-1/2 state.