If there is a category "Empty Set" it has to have the property "emptiness". It must have this property that separates it from every other set. Thus it is not propertyless - contradiction?