Αξίωμα της επιλογής: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Προσθήκη υπερσυνδέσμους για το λήμμα της ελληνικής Βικιπαίδειας που αφορά το παράδοξο των Μπάνακ και Τάρσκι στην τοποθεσία https://el.m.wikipedia.org/wiki/Παράδοξο_των_Μπάνακ_και_Τάρσκι |
μ →Κριτική και Αποδοχή: δρθρ Ετικέτα: επεξεργασία κώδικα 2017 |
||
Γραμμή 78:
Το αξίωμα της επιλογής παράγει αυτά τα άυλα στοιχεία (αντικείμενα που έχουν αποδειχθεί για να υπάρξει, αλλά η οποία δεν μπορεί να κατασκευαστεί ρητά), η οποία μπορεί να συγκρούονται με κάποιες φιλοσοφικές αρχές. Επειδή δεν υπάρχει κανονική καλή διάταξη όλων των συνόλων, μια κατασκευή που βασίζεται σε ένα καλά-διατεταγμένων που δεν μπορεί να παράγει ένα [[κανονικό]] αποτέλεσμα, ακόμη και αν ένα κανονικό αποτέλεσμα είναι επιθυμητό (όπως είναι συχνά η περίπτωση στη [[θεωρία κατηγορία]]). Αυτό έχει χρησιμοποιηθεί ως επιχείρημα κατά του χρήση του αξιώματος της επιλογής.
Ένα άλλο επιχείρημα κατά το αξίωμα της επιλογής είναι ότι προϋποθέτει την ύπαρξη αντιφατικών αντικειμένων. Ένα παράδειγμα είναι
Παρά αυτά τα γεγονότα, οι περισσότεροι μαθηματικοί αποδέχονται το αξίωμα της επιλογής ως έγκυρη αρχή για την απόδειξη νέων αποτελεσμάτων στα μαθηματικά. Η συζήτηση είναι αρκετά ενδιαφέρον, ωστόσο, θεωρείται από σημείωση ότι όταν ένα θεώρημα στο ZFC (ZF συν AC) είναι [[λογικά ισοδύναμο]] (μαζί με τα αξιώματα ZF) προς το αξίωμα της επιλογής, και οι μαθηματικοί αναζητούν αποτελέσματα που απαιτούν το αξίωμα της επιλογής να είναι ψευδής, αν αυτό το είδος της επαγωγής είναι λιγότερο συνεχές από ό τον τύπο που απαιτεί το αξίωμα της επιλογής για να είναι αληθινό.
| |||