您是不是误解了什么是反证法？只是纯粹就《白马论》里的原文说，将“是”理解为等于，老健的证法是成立的。

1. 假设白马非马正确，2. 则一切有颜色的马非马，3. 但马是一切有颜色的马集合（应用白马论里“是”为等于的意思）。把3带入2则得出马非马，这明显是一个矛盾，所以1的假设不成立。