The stage Lα+1 = Def (Lα) uses formulas with parameters from Lα to define the sets x and y.
Θυμόμαστε ότι το Lα+1 = Def (Lα) ότι χρησιμοποιεί τύπους με παραμέτρους από το Lα για να προσδιορίσουμε τα σύνολα x και y.