望月さんがそんなオレオレ用語使ってるの？
超数学は普通Metamathematicsの訳語として使われてると思うんだけど
IUTはチョーすごい数学だから数学の常識が通用しないのだみたいなのはちょっと