>>490
もしも「多項式の公理系」みたいなものがあるなら、研究対象として興味深いかもしれないわな
そんなの見たことがないしふんわりとしか言えないが

今現在は多項式は環やら集合やらの概念に根ざしていて、>>418などで再三再四述べているように「公理系から出発して形式的証明をしていく」ような教え方は到底できないが