数学を記述するシンプルな言語があっていい

**１３２人目の素数さん** · 2022/06/07(火) 23:30:40.68

ほぼ自然言語だけど数十の単語とシンプルな文法からなって
数学を記述出来るような言語って出来ないのかな…

letやthenそれぞれについて似た意味を持つ英単語が複数あったり
英語じゃwe defineのwe部分略せない事とか解決するような言語があってもいい

コンピュータ上での形式的証明の言語は証明が長くなるからやだ

**１３２人目の素数さん** · 2022/06/08(水) 13:20:50.06

>>1
言語がシンプルでも
理論や定理がシンプルになるわけではない

**１３２人目の素数さん** · 2022/06/09(木) 22:37:37.39

自然言語の部分だけでもシンプルになるならそれでいいです