Θεωρία συνόλων: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Yobot (συζήτηση | συνεισφορές) μ Διόρθωση συντακτικών λαθών του κώδικα με τη χρήση AWB (11457) |
→Αξιωματική θεωρία συνόλων: προφανή συντακτικά λάθη |
||
Γραμμή 51:
* Μόνα σύνολα.Αυτό περιλαμβάνει την πιο κοινή αξιωματική θεωρία συνόλων , '''[[Zermelo - Fraenkel θεωρία συνόλων]]''' '''( ZFC )''', το οποίο περιλαμβάνει το [[Αξίωμα της επιλογής]].Θραύσματα του ZFC περιλαμβάνουν :
** Τη [[θεωρία συνόλων Zarmelo]], που αντικαθιστά [[Το αξίωμα σχήμα της αντικατάστασης]] με αυτό του [[Διαχωρισμού]];
** Τη [[Γενική θεωρία συνόλων]] , ένα μικρό θραύσμα από τη [[θεωρία συνόλων Zarmelo]] επαρκεί για τα [[Αξιώματα Peano]] και τα [[Πεπερασμένα σύνολα]];
** Τη [[Θεωρία συνόλων Kripke-Platek]] που παραλείπει τα αξιώματα του απείρου, [[δυναμοσύνολο]] και [[επιλογή]] και αποδυναμώνει τα αξιώματα του [[Διαχωρισμού]] και της [[αντικατάστασης]];
* Σύνολα και [[κατάλληλες τάξεις]]. Αυτές περιλαμβάνουν [[τη θεωρία των συνόλων Von Neumann-Bernays-Γκέντελ]], η οποία έχει την ίδια δύναμη όπως η [[ZFC]] για θεωρήματα για τα σύνολα και μόνο, και η [[Μορς-Kelley θεωρία των συνόλων]] και η [[Tarski-Grothendieck θεωρία των συνόλων.]]<nowiki/>Και τα δύο είναι ισχυρότερα από ό,τι η ZFC.
| |||