Fraenkel (1922 and later) took a different approach with a rather complicated direct axiomatisation of the notion of definite property, using recursive generation from the basic properties giving a notion which appears to be a subset of the recursively defined first-order properties.