>>94
＞グロタンディーク宇宙 Uの下で 圏論を使いまくったフェルマー最終定理の証明が
＞果たして ZFCのノイマン宇宙Vに収るかどうか？

１．ナイーブなやり方ではできないだろう
２．Pour-elとKripkeの定理を使えばできるが、
それは◆yH25M02vWFhPが見て即分かるような
ナイーブな書き換えではないだろう
３．池上大祐氏が言ってるのは、
圏論を使わない自然な形の証明が可能か？
という意味かと思われる