你想问的是:

“如果一加一等于三，那么一加一不等于三”吗？

罗素这里说的命题可能指的不是后件。

好久没看我都快忘了。

从任意公式集开始，都能证明定理。

另外，我们还能证明“从1+1=3开始可以证明任意的命题p”

∵ 1+1=3

∴ 2=3

∴ 0=1

∴ 1+1 = 0+0 = 0 ≠ 3。

看成是一个条件句：“如果1+1=3，那么1+1不等于3”，这个条件句为真。

如果是论证：“因为1+1=3，所以1+1不等于三”，这个论证从前提得出矛盾，是一个“无效”论证，无效论证必然是“不可靠论证”。

我觉得楼主应该把罗素原话出处指出来，也许你错误理解了罗素的原话。