数学の初心者は，証明がなかなかわからない。 したがって，「自家撞着」「循環論法」がなかなかわからない。 実際，これがわかることは，数学の方法論であるところの構成主義がわかることである。
構成主義の勉強は，構成主義が勉強できる数学テクストを用いねばならない。 しかし，これに出会うのが存外難しい。 むかし，「ブルバキ」という数学テクスト作成プロジェクトがあって，『数学原論』をタイトルにした数学テクストのシリーズを出した。 これは，構成主義をはっきり現すことが立場にあって，実際，構成主義がはっきり見えるようになっている。 （『数学原論』のタイトルは，公理主義を現したユークリッドの『原論』を意識している。） このプロジェクトは途中で止む格好になったが，数学コースのある大学の図書館なら『数学原論』を手にすることができるはずである。 （  「ニコラ・ブルバキ」(Wikipedia) )
|