>>418
数学は公理から公理の正しさを証明するとかやってないので誤って無いぞw