ZFC vs NBG: A Comparison of Mathematical Axiom Systems

  • Context: Graduate 
  • Thread starter Thread starter quantum123
  • Start date Start date
  • Tags Tags
    Zfc
Click For Summary
SUMMARY

The discussion centers on the comparison between Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC) and von Neumann-Bernays-Gödel set theory (NBG). Participants conclude that neither system is superior, as both can prove the same mathematical theorems. The conversation emphasizes that personal preference does not dictate the effectiveness of these axiom systems, highlighting their equivalence in mathematical applications.

PREREQUISITES
  • Understanding of set theory fundamentals
  • Familiarity with mathematical axioms and their implications
  • Knowledge of Zermelo-Fraenkel set theory (ZFC)
  • Awareness of von Neumann-Bernays-Gödel set theory (NBG)
NEXT STEPS
  • Research the implications of the Axiom of Choice in ZFC
  • Explore the differences in expressiveness between ZFC and NBG
  • Study the historical context and development of both axiom systems
  • Examine specific mathematical proofs that utilize ZFC and NBG
USEFUL FOR

Mathematicians, educators, and students interested in advanced set theory and the foundational aspects of mathematics.

quantum123
Messages
306
Reaction score
1
Which one do you prefer? Which do you think is better?
 
Physics news on Phys.org
Neither one is better than the other, nor is one preferable to the other.
 
Er...ZFC, because it matches my curtains.
This doesn't really strike me as a "preference issue". You can prove the same things in both, so, as a fan of mathematics, I really see no reason to pick a side, since it's unlikely that I'll ever encounter a level of argument "low" enough that the difference is relevant.
 

Similar threads

Graduate An additional constraint to the ZFC axioms?
  • · Replies 40 ·
2
Replies
40
Views
4K
Undergrad Direct limit of multiverse models of ZFC
  • · Replies 2 ·
Replies
2
Views
2K
MHB ZFC and the Axiom of Power Sets ....
  • · Replies 2 ·
Replies
2
Views
2K
Graduate Maybe it is not necessary to define set membership?
  • · Replies 13 ·
Replies
13
Views
2K
MHB ZFC and the Axiom of Foundation
  • · Replies 3 ·
Replies
3
Views
3K
MHB Set Theory and ZFC - The Axiom of Replacement - Searcoid, Pages 6-7
  • · Replies 14 ·
Replies
14
Views
4K
MHB Understanding ZFC and the Axiom of Infinity: Simple Explanation and Examples
  • · Replies 2 ·
Replies
2
Views
2K
Graduate Looking for book on ZFC axiomatic set theory (I think)
  • · Replies 12 ·
Replies
12
Views
3K
MHB Set Theory and ZFC - The Subset Principal - Searcoid, Page 7
  • · Replies 5 ·
Replies
5
Views
2K
MHB Axioms of Set Theory .... and the Union of Two Sets ....
  • · Replies 2 ·
Replies
2
Views
2K