If there is a category "Empty Set" it has to have the property "nothingness". Thus it is not propertyless - contradiction?
Read another response by Stephen Maitzen
Read another response about Logic