Άνοιγμα κυρίου μενού

Αλλαγές

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