19/01/22 02:13:12.06 zFHfz07h0.net
>>143
＞スタートの仮定を示せばよい
その「スタートの仮定」が抽象側か具象側か、>>120 の文面・「事象」=event という語句から判断できるのでしょうか？
「事象」＝event という語句は、ほどよく抽象的かつ同時に具象的だと思います
>>143
＞数学的に演繹
演繹、とは普遍的な命題から特殊な命題を導くことですが、数学的な成果物を出力するとき、「定義」「定理」そして「証明」自体を出力する活動も含まれるのではないでしょうか？
そういったときには、それらは数学においてもきわめて帰納的な活動だと考えています