>>728 追加

ダジャレと知って ”超数学”（metamathematicsの訳語）を使うのは良いが
”超数学”が、学術用語かどうかは、要確認だよ
まじめな 基礎論の書籍や文献では あまり見かけない

＜アマゾン＞
ゲ-デルは何を証明したか: 数学から超数学へ 単行本 – 1999/3/1
E.ナーゲル (著), J.R.ニューマン (著), 林 一 (翻訳)白揚社

https://www.hakuyo-sha.co.jp/mathematics/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AF%E4%BD%95%E3%82%92%E8%A8%BC%E6%98%8E%E3%81%97%E3%81%9F%E3%81%8B/
ゲーデルは何を証明したか
数学から超数学へ
Ｅ・ナーゲル／Ｊ・Ｒ・ニューマン 著
林　一 訳 白揚社
原題
Godel's Proof by Ernest Nagel & James R. Newman

https://ja.wikipedia.org/wiki/%E8%B6%85%E6%95%B0%E5%AD%A6
超数学（ちょうすうがく）あるいはメタ数学（メタすうがく、英語: metamathematics[1]）とは、数学自体を研究対象とした数学のこと。超数学という語を初めて用いたのはヒルベルトであり、彼は数学の無矛盾性や完全性を問題とした。ゲーデルの完全性定理や不完全性定理はその例である。
脚注
1^ 文部省学術奨励審議会学術用語分科審議会 編『学術用語集 論理学編』大日本図書、1965年。全国書誌番号:65007001。