12/02/06 03:56:14.39
>>544
＞数学の基礎付け・形式化に、集合論は必須のものなのか、
＞それとも別の方法も可能だけど歴史的経緯や使いやすさで集合論が選ばれているだけなのか
その大事な大事な研究の結果、どっちだと分かったの？少なくとも結論には興味ある。
12/02/06 03:56:14.39
>>544
＞数学の基礎付け・形式化に、集合論は必須のものなのか、
＞それとも別の方法も可能だけど歴史的経緯や使いやすさで集合論が選ばれているだけなのか
その大事な大事な研究の結果、どっちだと分かったの？少なくとも結論には興味ある。