0494132人目の素数さん垢版 | 大砲2020/09/03(木) 13:45:07.11ID:9okSQb6o >>490 もしも「多項式の公理系」みたいなものがあるなら、研究対象として興味深いかもしれないわな そんなの見たことがないしふんわりとしか言えないが 今現在は多項式は環やら集合やらの概念に根ざしていて、>>418などで再三再四述べているように「公理系から出発して形式的証明をしていく」ような教え方は到底できないが