If there is a category "Empty Set" it has to have the property "nothingness".

If there is a category "Empty Set" it has to have the property "nothingness".

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