23/07/08 11:31:58.98 vNLxngmt.net
>>486
うん
下記みたいな部分もあるね
松坂和夫著『集合・位相入門』批判
URLﾘﾝｸ(fuchino.ddo.jp)
Ｐ7
ツェルメロ集合論(Z)ZFから置換公理(と正則性公理)を除いたものでも超限順序数を経由せずに直接証明することができます(順方向の証明については，ここで与えた証明が，既に，ツェルメロ集合論でのものになっています)．この直接証明は，素手できちんとやろうとすると結構長くなります．
私は大昔日本で学部生だったころ，松坂和夫著『集合・位相入門』にぐちゃぐちゃ書いてあった，このツェルメロのもとの証明の写しのようなものを読んでよく分らなかった記憶があります．[註15]
[註15]実は，この，松坂和夫著『集合・位相入門』の記憶があったために，この同値性の証明は，Zでやったときには，ぐちゃぐちゃした分りにくいものにしかならなくなる，と思い込んでいたのですが，最近(2019年4月)大学院の講義で，このZでの同値性証明について話す必要があって，自分で証明を再現してみたところ，すっきりした，素直な，それほど長くない証明を与えることができることが分かって大変びっくりしました．
分野の専門家でない人が教科書を書くことの，メリットやデメリットは，本稿で論じようとしている主題の一つとも関連する事柄ですが，
この松坂という人(多分，当時のスタンダードで考えても集合論や集合論の応用の専門家ではなかった人だと思います)の書いた教科書は，少なくとも私にとっては，長年にわたって大きな害を及ぼしていた本だった，と言うことができると思います．