On arithmetic in the Cantor-Łukasiewicz fuzzy set theory (Q2388435): Difference between revisions

In Łukasiewicz logic it is well possible that a formula is equivalent to its own negation (its truth value is just \(\frac 12)\). The fact is closely related with Russell's paradox. People may wish to have a set theory with full comprehension over Łukasiewicz set theory. The author attempts to develop a Cantor set theory in Łukasiewicz predicate logic. Unfortunately the main result is negative, we cannot assume the existence of a natural number satisfying a simple scheme of induction, i.e., we get an inconsistency.