>>1
ある互いに矛盾する公理を少なくとも１つ含む公理系の上に自然数と加法を導入すれば簡単に証明できるよ。