>一意性が成立しない、ということを証明するのも、また証明。

そしてこれが最も重要な数学的証明である。

だから、証明という言葉には一意性の概念が必然的に付随しているんだよ。ゲーデルの不完全性定理の証明もそうした一意性のことを指している。あらゆる定理が一意的なのは明らか