Well-put. Although, strictly speaking, you can prove a negative. Given the basic axioms of number theory, the statement ~0=S0 (zero does not equal one) is provable.