Οικοδομήσιμο Σύμπαν: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας |
μ Αντικατάσταση παρωχημένης σύνταξης latex (mw:Extension:Math/Roadmap) |
||
Γραμμή 108:
Παράδειγμα: Το σύνολο {5,ω} είναι οικοδομήσιμο. Είναι το μοναδικό σύνολο, s, που ικανοποιεί τον τύπο:<br>
<math>\forall y (y \in s \iff (y \in L_{\omega+1} \
όπου <math>Ord (a)</math> είναι η σύντμηση για:<br>
<math>\forall c \in a (\forall d \in c (d \in a \
Στην πραγματικότητα, ακόμα κι αυτός ο περίπλοκος τύπος έχει απλοποιηθεί από ό,τι οι οδηγίες που δόθηκαν στην πρώτη παράγραφο έχουν αποφέρει. Αλλά το θέμα παραμένει, αφού υπάρχει ένας τύπος της θεωρίας συνόλων που είναι αληθής μόνο για το επιθυμητό οικοδομήσιμο σύνολο s και το οποίο περιέχει παραμέτρους μόνο για διατακτικούς αριθμούς.
==Σχετική οικοδομισημότητα==
| |||