一般に無限個の不定元を持つ多項式環を、集合の言葉で厳密に定義するにはどうすればいいのでしょうか