公式というものはどのように発見するのでしょうか？
またそれの正当性を是認するに当たっての決定はどの様に行われるのでしょうか？