定義・定理は何のためか

数学では，論証の各ステップにおいてその理由を端的にかつ簡潔に述べることができるように，予め準備をする．概念を定義したり，定理に名前や番号をつけて証明しておいたり．