Θεωρία συνόλων: Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας
Γραμμή 1:
Στα [[μαθηματικά]], '''Θεωρίαθεωρία συνόλων''' ή '''συνολοθεωρία''' είναι η [[θεωρία]] που μελετά τα [[σύνολο|σύνολα]], σε αντίθεση με τις υπόλοιπες μαθηματικές θεωρίες που είναιεξετάζουν δομές, δηλαδή σύνολα εφοδιασμένα με συναρτήσεις και σχέσεις (π.χ. ομάδες, συλλογέςτοπολογικοί αντικειμένωνχώροι). Αν και οποιοσδήποτε τύπος από αντικείμενα μπορεί να ορίσει σύνολο, η θεωρία συνόλων εφαρμόζεται συνήθως σε αντικείμενα σχετικά με τα μαθηματικά.
 
Η σύγχρονη μελέτη της θεωρίας συνόλων ξεκίνησε από τον [[Γκέοργκ Καντόρ]] (Georg Cantor) και τον [[Ρίχαρντ Ντέντεκιντ|Ντέντεκιντ]] (Dedekind) τη δεκαετία του 1870. Μετά την ανακάλυψη παραδόξων στην άτυπη θεωρία συνόλων, πληθώρα συστημάτων αξιωμάτων προτάθηκαν την αρχή του εικοστού αιώνα, το πιο γνωστό από τα οποία η [[Ζερμέλο-Φράνκελ θεωρία συνόλων]] (Zermelo–Fraenkel set theory), με το [[αξίωμα επιλογής]].