- #1
Pi3.1415
- 7
- 0
Does anyone know of any good books on Axioms. Such as how was ZF(C) came up with and why it is that the general consensus is that it is complete.
It's well known that ZFC is incomplete, by Gödel's theorem. Or do you mean something else by complete?Pi3.1415 said:why it is that the general consensus is that it is complete.
That's the same meaning of completeness I just referred to...Pi3.1415 said:Oh i see what you mean. I think another definition of completeness in Axiom systems is that no new axioms can be added that will make the new system inconsistent.
Pi3.1415 said:Oh i see what you mean. I think another definition of completeness in Axiom systems is that no new axioms can be added that will make the new system inconsistent.
Axioms are fundamental statements or principles that are accepted as true without proof. They serve as the basic building blocks of a mathematical system and provide a starting point for logical reasoning and theorems.
ZF(C) refers to the Zermelo-Fraenkel set theory with the Axiom of Choice. It is one of the most widely accepted axiomatic systems in mathematics and provides a foundation for modern set theory. It is important because it allows for the construction of more complex mathematical structures and the development of rigorous proofs.
A system is complete if it is able to prove or disprove every statement within that system. In the case of ZF(C), it is complete in the sense that it can prove or disprove any statement about sets and their properties using the specified axioms.
ZF(C) is one of the most commonly used axiomatic systems, but there are other systems that have been developed as well. For example, NBG (von Neumann-Bernays-Gödel) set theory is a conservative extension of ZF(C) that allows for the existence of some large sets that are not permitted in ZF(C).
The consistency of ZF(C) cannot be proven within ZF(C) itself, as this would lead to a contradiction known as Russell's paradox. However, assuming ZF(C) is consistent, it can be shown that ZF(C) cannot prove its own consistency using Gödel's incompleteness theorems.