インターネットを検索していたら次のようなジョークを見つけました。
Nothing is better than my wife. （妻よりいいものはない）
1 Yen is better than nothing. （１円でもないよりまし）
Therefore, 1 Yen is better than my wife. （１円の方が妻より良い）
愛妻家であるが故に、妻が１円より劣るというパラドックスです。
日本語で考えるとこのジョークは成り立たないのですが、英語だと形式的に成立してしまいます。
形式論理上、Ａ＞Ｂ かつ Ｂ＞Ｃ ならば 必ず Ａ＞Ｃ です。
もし、Ｃ＝妻，Ｂ＝Ｎｏｔｈｉｎｇ，Ａ＝１円とし、そして ”ｘ＞ｙ” という表現を ”ｘの方がｙより良い” と表すものとします。
すると
Ａ＞Ｂ は 「１円の方がＮｏｔｈｉｎｇより良い」
Ｂ＞Ｃ は 「Ｎｏｔｈｉｎｇの方が妻より良い」
Ａ＞Ｃ は 「１円の方が妻よりよい」
となります。
形式論理的に、「１円の方が妻よりよい」ということになってしまいます。これはこれで正しいのです。
「Ａ＞ＢかつＢ＞Ｃならば、必ずＡ＞Ｃ」というのは常に正しいのです。形式論理の各記号に意味はなく、それぞれの記号にはなにを当てはめても成立します。
問題は、各記号の意味の解釈を途中で勝手に変えてはいけないということです。この場合は、"Nothing"の意味に問題がありそうです。
「Nothing is better than my wife. 」は本来 「ｘ＞妻となるＸは存在しない」と解釈すべきなので、「Ｎｏｔｈｉｎｇ＞妻」とは全然意味が違います。
しかし、Ｎｏｔｈｉｎｇを「０円」と解釈すれば、それはそれで意味が通じます。
その場合は、
「１円の方が０円より良い」 （ Ａ＞Ｂ ） かつ
「０円の方が妻より良い」 （ Ｂ＞Ｃ ） ならば
「１円の方が妻より良い」 （ Ａ＞Ｃ ） となります。
この場合、それなりに意味が通じています。ただし、愛妻ではなく憎妻というべきでしょうが……。
ユニオンレイクのカナダ雁 （シアトル）