名前出てますよ。

＞ゲーデルは、なにをトリビアルとみるかのちがいです。
意味不明です。G¨odelの結果もCohenの査読も
その他の集合論の論文もトリビアルだったと言いたいのですか？
連続体仮説の無矛盾性は全然自明でも何でもないと思うんですが。
それにG¨odelはACやCHにあわせて
「Lebesgue可測でないΔ1,2集合が存在すること」とかの
無矛盾性も示してますし、Dialectica論文とかも発表してますが、
全部ひっくるめて「トリビアル」ですか。だとしたらすごい数学的直観ですね。

＞公理の必要性
じゃあ理論には公理が必要だと説いた当のAristotelesは
公理による記述スタイルを取らなかったと。そんな莫迦な話がありますか。