ZF公理系をカントールの集合論に適用することによって、 便宜的に使い勝手の良いものとして、集合論はその後も 形式論理学と現代数学の基本的記述の道具として命脈を 保ったのだが、竹内外史が「無限のパラドックス」で指 指しているように、論理や数学の対…