ベイズ統計になんでベイズの名前がついているのか分からない

小ネタ

ベイズの定理は確率論の定理で、確率と事象に対して、の条件付き確率に関して

が成り立つというもので、条件付き確率の定義から従うほぼ自明な結果である。測度論的には面倒かもしれないが、深く考えないとする。

一方、所謂ベイズ統計で用いられるパラメータ分布の更新（所謂ベイズ更新）は、モデル及び事前分布及びデータセットから事後分布を

で定義するというものである。定義なんだから他に事後分布の定義方法があってもいいし、例えば逆温度を使ったりする。

違うでしょ。似てるかもしれないけど別物でしょ。上は定理だけど下は定義でしょ。連想で名前付けることはあるけど、下で上のにあたるものは何よ？　勝手に名前使われたらベイズさん怒ると思うんだが。