Le descrizioni delle classi con gli stessi insiemi di metodi sono oggetti di una metaclasse. Una metaclasse è essa stessa una classe e di conseguenza ha una descrizione di classe. Dobbiamo ipotizzare che le descrizioni di classe per le metaclassi siano, ancora una volta, oggetti di meta classi (meta meta classi quindi), che a loro volta siano classi di... e così via.