In 1981, Takeuti introduced set theory based on quantum logic by constructing a model analogous to Boolean-valued models for Boolean logic. He defined the quantum logical truth value for every sentence of set theory. He showed that equality axioms do not hold, while axioms of ZFC set theory hold if appropriately modified with the notion of commutators. Here, we consider the problem in Takeutis quantum set theory that De Morgans laws do not hold for bounded quantifiers. We construct a counter-example to De Morgans laws for bounded quantifiers in Takeutis quantum set theory. We redefine the truth value for the membership relation and bounded existential quantification to ensure that De Morgans laws hold. Then, we show that the truth value of every theorem of ZFC set theory is lower bounded by the commutator of constants therein as quantum transfer principle.
تحميل البحث