Nothing is better than having a good wife.
Having a toothbrush is better than having nothing.
—
Therefore, having a toothbrush is better than having a good wife.
Nothing is better than having a good wife.
{} > {good wife} (wrong)
{x : x > good wife} = {} (correct)
Having a toothbrush is better than having nothing.
{toothbrush} > {}
The is‘s have two different senses here. The first “is better than” is for comparing objects. The second “is better than” is for comparing sets. An object and a meta-object should not be put together for comparison.
— Me@2012-04-02 10:46:22 AM
2012.12.15 Saturday (c) All rights reserved by ACHK