Αξίωμα της επιλογής: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας |
Χωρίς σύνοψη επεξεργασίας |
||
Γραμμή 188:
**Το [[Banach-Alaoglu θεώρημα]] είναι σχετικό με την [[συμπαγότητα συναρτησιακών συνόλων]].
**Το [[θεώρημα Baire]] είναι για [[πλήρης μετρικούς χώρους]], και οι συνέπειές του, όπως το [[θεώρημα ανοικτής απεικόνησης]] και το **[[θεώρημα κλειστού γραφήματος]].
**Σε κάθε
*[[Γενική τοπολογία]]
Γραμμή 195:
*[[Μαθηματική λογική]]
**[[Το θεώρημα πληρότητας του Γκέντελ]] για τη λογική πρώτης τάξης: κάθε συνεκτικό σύνολο
==Ισχυρότερες μορφές της άρνησης AC==
|