汎用プログラミング言語に、大学レベルの数学の表現力を求めてるの？
今現在のC++は、x+1=2;と記述して、xに1が代入されたりしない、
中学レベルの一次方程式すら満足に記述できない状況だってのに。