1G2-34 証明の機能としての incorporation の意味に関する一考察

抄録

本稿は, Hannaによる証明の機能としてのincorporationの意味を明らかにすることを目的とする。そのために, 証明の機能としてのincorporationに関する記述をもとに具体例を示し, 中島健三による統合の意味を視点に分析した。その結果, 証明の機能としてのincorporationの意味は, 中島の「拡張による統合」の意味であることと, その機能によって促進されうる理解の対象は, 定理に埋め込まれている概念であることが明らかになった。