こんなサイトがあるんか
ポケモンBGMがいっぱいのWebサイト #ポケモンゲームサウンドライブラリー ！
今わたしが聴いているのはこの曲！
きみも1曲、いかがですか？
戦闘！チャンピオン（ポケットモンスター ダイヤモンド・パール） https://soundlibrary.pokemon.co.jp/musicbox?id=dp-145
いや、まあ全部形式的に考えようとか、形式的に考えないのはよくないという話ではなく、単純に数学において本当に形式的な話してるとこってあまりないよなっていう話。つまり、数学は形式さがものをいう分野ではないんだよなあ
等価関係とか何も考えずに使いがちだけど、いざじゃあ何が成り立てば等価関係で、どういう推論できるのって言われたらアバウトにならざるを得ない、そんな基礎がゆるふわな分野が数学の大部分を作っているわけで、そんな人たちが形式的に考えてるわけないよなあっていう
大体の数学分野、標準ライブラリをなんとなく使えばなんとかなるし、相手納得させれば勝ちなので、普通に論理の飛躍含むこと可能っていう