言語体系はすでにある
言語がないのに数学の証明をコンピュータでも証明する、なんてことが出来るはずもない

現代で虚数は存在しないはずだと言って研究を進めても、アイデアは拾われるかもしれないがそれ自体は数学コミュニティで認められないように、
今の数学の言語体系に沿えなければ認められることはほぼないだろう