あるとするのが公理なんじゃないの