# On the consistency and independence of some set-theoretical axioms

@article{Abian1978OnTC, title={On the consistency and independence of some set-theoretical axioms}, author={Alexander Abian and Samuel Lamacchia}, journal={Notre Dame J. Formal Log.}, year={1978}, volume={19}, pages={155-158} }

In this paper by means of simple models it is shown that the five set-theoretical axioms of Extensionalit y, Replacement, Power-Set, SumSet, and Choice are consistent and that each of the axioms of Extensionality, Replacement, and Power-Set is independent from the remaining four axioms. Although the above results are known and can be found in part in [l], it is believed that this paper has some expository merits. The abovementioned axioms are five of the six axioms of the ZermeloFraenkel Theory…

## 12 Citations

CAN THE PEANO AXIOMS MEET ZERMELO-FRAENKEL SET THEORY WITH THE AXIOM OF CHOICE?

- Economics
- 2010

We show that the Peano axioms do not meet ZFC axioms. We discuss that a set of natural numbers, i.e., {} , , 2 , 1 K does not meet ZFC axioms. We know that such a set of natural numbers is…

Flow: the Axiom of Choice is independent from the Partition Principle

- Philosophy
- 2020

We introduce a general theory of functions called Flow. We prove ZF, non-well founded ZF and ZFC can be immersed within Flow as a natural consequence from our framework. The existence of strongly…

Shared Axiomatizations and Virtual Datatypes

- Computer Science
- 2009

In the form of a literate Haskell program, a “shared axiomatization” of Peano arithmetics, a bit-stack representation of bijective base-2 arith cosmetics, hereditarily finite sets and a few other equivalent constructs are provided that turn out to express basic programming language concepts ranging from lists, sets and multisets, to trees, graphs and hypergraphs.

Does singleton set meet Zermelo-Fraenkel set theory with the axiom of choice?

- Economics
- 2011

We show that a singleton set, i.e., {1} does not meet ZermeloFraenkel set theory with the axiom of choice. Our discussion relies on the validity of Addition, Subtraction, Multiplication, and…

A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions

- Mathematics, Computer ScienceArXiv
- 2008

A lazy enumerator for Hereditarily Finite Sets with Urelements is built that matches the unranking function provided by the inverse of Ackermann's encoding and functors between them resulting in arithmetic encodings for powersets, hypergraphs, ordinals and choice functions.

Ranking and Unranking of Hereditarily Finite Functions and Permutations

- Computer ScienceArXiv
- 2008

Prolog's ability to return multiple answers on backtracking provides an elegant mechanism to derive reversible encodings of combinatorial objects as Natural Numbers i.e. {\em ranking} and {\em…

Do the Two Operations Addition and Multiplication Commute with Each Other

- Mathematics
- 2014

We study about the metamathematics of Zermelo-Fraenkel set theory with
the axiom of choice. We use the validity of Addition and Multiplication. We
provide an example that the two operations Addition…

An embedded declarative data transformation language

- Computer SciencePPDP '09
- 2009

A logic programming framework for data type transformations based on isomorphisms between elementary data types and automatically derived extensions to hereditarily finite universes through ranking/unranking operations is introduced.

Whether Perfect Artificial Cognition System Can Be Possible

- Economics
- 2013

We show that axiomatizing all of human recognition is impossible when we accept Zermelo-Fraenkel set theory with the axiom of choice, commonly abbreviated ZFC. This .

Whether the CPT Symmetry Can Be Almighty Even in a Photon

- Physics
- 2013

As a trial, though thinking of general concepts, of our
scientific challenge, we consider whether the Charge-Parity-Time (CPT) symmetry
can be almighty even in a photon. This is the main aim of this…

## References

SHOWING 1-2 OF 2 REFERENCES

Die Widerspruchsfreiheit der allgemeinen Mengenlehre," Mathematische Annalen

- Band
- 1937