白马非马

韓非子是战国法家, 荀子的高徒, 秦始皇宰相李斯的同学。他说”白马非马”, 即白马不是马, 可以用集合論(Set Theory) 证明:

Let 马 = H = {w, b, r, y …}
w : 白马
b : 黑马
r ：红马
y：黄马

Let 白马 = W = {w}

To prove:
H = W
We must prove:
H ⊂ W and H ⊃ W

From definition we know:
$latex w in H supset W $
$latex H nsubseteq W $
$latex implies H neq W $

白马≠马
白马非马
[QED]

其他例子:
木魚非鱼