IUTが数学に新しい構造を与えていないと批判してる人って
じゃあたとえばどんな理論だったら数学に新しい構造を与えているの?