He introduced the class term, which formally correctly describes classes through a property of their elements.
Er führte den Klassenterm ein, der Klassen formal korrekt durch eine Eigenschaft ihrer Elemente beschreibt.