Quantum Set Theory

The complete orthomodular lattice of closed subspaces of a Hilbert space is considered as the logic describing a quantum physical system, and called a quantum logic. G. Takeuti developed a quantum set theory based on the quantum logic. He showed that the real numbers defined in the quantum set theory represent observables in quantum physics. We formulate the quantum set theory by introducing a strong implication corresponding to the lattice order, and represent the basic concepts of quantum physics such as propositions, symmetries, and states in the quantum set theory.