Zermelo's answer to this, in moving from the system of the second well-ordering paper to the axiomatisation, is to try specifying what properties are to be allowed. He calls the properties to be allowed ‘definite properties’ (‘Klassenaussagen’ or ‘propositional functions’), and states: