>>791
ああ、公理の話をしてる？

フッチーノ氏も書いてるけど、通常の数学で使う集合論なら
フレンケルの置換公理とか使わないもっと弱い集合論でＯＫ

整列定理もツォルンの補題もそのレベルの話

まあ、フッチーノ氏がいいたいのは
「おれなら、もっといい証明かける」
ってことらしいから
「それなら、あんたが教科書かけよ」
というのがオチなんだけどね

（注：フッチーノ氏がいうのは本当のことだと思うけど
　　　やっぱりそれは教科書として出版することで
　　　「証明」されると思うけどどうよ？）