In question No.134351 it is asserted that there exists a Paraconsistent Set Theory in which the Continuum Hypothesis (CH) is disproved. I would like to know more about this theory, which I will call PST. Is it true that PST is formalizable in the language of first order ZF (even though its rules of inference and some of its logical axioms are different from those of ZF)? Is it also true that "not CH" is a theorem of PST but that "CH" is not a theory of PST?....If the answer to both of these questions is "yes" (and if PST has no special "ad hoc" axioms designed to disprove CH), then this seems to me to be a very noteworthy result which I had never heard about until now.
