>>346
アホですか？
それこそまず真っ先にやらなあかん事やろ？
今までの数学の言語では使わない言葉使いする論文書く分にはいくらでも構わないしそんな論文いくらでも探せばあるやろ
超準解析なんかそれ
ヒルベルトの第20問題の弱い形の証明のアルティンの証明も広い意味で超準解析と言えなくはない、(使ってないけど)
しかしそれをやっていいのはその言葉使いによる証明が普通の数学の“保存拡大”である事の証明ができたあとだし、それができてないならそんなもんろんぶんになどならんわ
そもそもその作業に何十年もかからんし
なんも知らんのやったら黙っとけ