ある探究のモデルによる,"数学とは何かの考察"の基礎づけ

抄録

"数学とは何かの考察"は高次言語に関する理論を用いて数学から導かれたものであった。これは数学教育学の,数学にかゝわる研究内容の一つであることか示されている。この小論では,"数学とは何かの考察"をより明確に基礎づけることを試みる。その際用いられる理論モデルは高次言語に関する理論を土台として作られている,ある探究のモデルである。