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

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