色々遅延中。 [雑]

色々遅延中。

まず、コメントの返事。とくに石飛さん、申し訳ないです。こういうのは、ぽぽぽーんと勢いに任せて舌鋒鋭い言葉がまろび出るような流れでやるのが、見てるほうも、そしてやってるほうもエキサイティングなんでしょうが、当方やや多忙につき、のったらのったらした進行になっちゃってます。すいません。

あと、コメント欄で、ということなら、ここでのやりとりにおいて、おれ、「Comprehension Axiomの無制限の使用から生じるパラドクス、とくにRussell's ParadoxなどはZFの置換公理によって抑制された」なんて言ってますけどこれは間違いで、ただしくは置換公理ではなく分出公理です。いやあ、この二つは昔っから混同しちゃって……という言い訳はともかく、これでおれが「セットセオリスト」でも何でもなく、たんなる「趣味の数学」人であることがはっきりしたと思います。ともあれ、藤崎さん、申し訳ありませんでした。

それと、付け足し、って感じになっちゃってあれなんですが、宮本さん主宰の掲示板「宮本浩樹の啓示板」がおれの強力なバックアップを得て再開しました。みなさん、何でもいいですから奮って書込んでください。

それでは。