Abstract.
The paraconsistent system CPQ-ZFC/F is defined. It is shown using strong non-finitary methods that the theorems of CPQ-ZFC/F are exactly the theorems of classical ZFC minus foundation. The proof presented in the paper uses the assumption that a strongly inaccessible cardinal exists. It is then shown using strictly finitary methods that CPQ-ZFC/F is non-trivial. CPQ-ZFC/F thus provides a formulation of set theory that has the same deductive power as the corresponding classical system but is more reliable in that non-triviality is provable by strictly finitary methods. This result does not contradict Gödel's incompleteness theorem because the proof of the deductive equivalence of the paraconsistent and classical systemss use non-finitary methods.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 20 July 1998
Rights and permissions
About this article
Cite this article
Daynes, A. A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation. Arch Math Logic 39, 581–598 (2000). https://doi.org/10.1007/s001530050166
Issue Date:
DOI: https://doi.org/10.1007/s001530050166