>>696
公理ってのは定義で証明すべきもんではないだろ?