別に数学だっていつもいつも定理から演繹ばかりしてるわけじゃない。
数学者にとっての現実は脳内にある。
それを記述するような定理を捻り出すのは逆向きのフィードバックに他ならない。
どちらにしても脳内の話なんだがｗ