つづき

（追加）
https://mathoverflow.net/questions/360290/how-strong-a-set-theory-is-necessary-for-practical-purposes-in-sheaf-theory
How strong a set theory is necessary for practical purposes in sheaf theory?
asked May 14, 2020 at 0:09
user158035

1
Thank you David. This paper of McLarty's is really remarkable, and seems to be what I asked for, and then much more as well. –
user158035
CommentedMay 14, 2020 at 15:24
does that mean the Fermat's last theorem can be proved in MacLane set theory (i.e. bounded Zermelo)? –
Zuhair Al-Johar
CommentedMay 14, 2020 at 18:38

@Zuhair absolutely, and weaker foundations; this was the motivation for the paper. –
David Roberts
♦ CommentedMay 14, 2020 at 20:45

(google訳)
1
デイビッドさん、ありがとうございます。マクラーティさんのこの論文は本当に素晴らしいです。私が求めていた通りの内容で、それ以上のものでした。
ユーザー158035
コメントした2020年5月14日 15時24分

それはフェルマーの最終定理がマクレーン集合論（つまり有界ツェルメロ）で証明できることを意味しますか？
Zuhair Al-Johar
コメントした2020年5月14日 18時38分

@Zuhair まさにその通りです。そして基礎が弱いのです。これがこの論文の動機でした。
デビッド・ロバーツ
♦
コメントした2020年5月14日 20時45分
(引用終り)

こんなところに、デビッド・ロバーツが
それはフェルマーの最終定理がマクレーン集合論（つまり有界ツェルメロ）で証明できることを意味しますか？
@Zuhair まさにその通りです。そして基礎が弱いのです。これがこの論文の動機でした。
か・・・ 果たして・・・ （＾＾
以上