というより、数学の証明というもの自体が、あるいくつかの定義や法則によって導き出されその証明手順が正当化されてる。