23/12/13 11:22:07.20 BJtZkva3.net
>>427
>>”圏論と集合論 渕野昌 23年1月”のご一読を、きみに勧める
>その文章では
>「数学の基礎は集合論でなく、カテゴリー論である」
>という発言が「痛い」と書いてあるが、君、意味わかってるか？
良いところに気づいたね（そうなのです、渕野先生は集合論養護派です）
それに対する答えは、下記がよく纏まっていると思う
(参考)
URLﾘﾝｸ(martbm.)<)
また、以下の教科書では、上記の圏論的な枠組みの中で、実数の構成まで記述されている。
S. Mac Lane and I. Moerdijk. Sheaves in Geometry and Logic. (1994)
Sheaves in Geometry and Logic
URLﾘﾝｸ(atondwal.org)
つまり、この公理系が魅力的なのは実際にその主張内容が、「私たちに直感的に理解可能なもの」しかないが、他方において、ＺＦＣの弱い主張と解釈できるとするなら、これを
数学の「基礎」
とすることは、どこまで可能なのか、ということになる