您是不是誤解了什麽是反證法？隻是純粹就《白馬論》裏的原文說，將“是”理解為等於，老健的證法是成立的。

1. 假設白馬非馬正確，2. 則一切有顏色的馬非馬，3. 但馬是一切有顏色的馬集合（應用白馬論裏“是”為等於的意思）。把3帶入2則得出馬非馬，這明顯是一個矛盾，所以1的假設不成立。