数学における約束とその理由