>>399 つづき

　　19世紀後半、多くの数学者はデデキント無限であることと通常の意味の無限は同値であると単純に考えていた。しかし実際は、選択公理（“AC”）を除いたツェルメロ・フレンケルの公理系（通常、“ZF”と表記される）からは、その同値性は証明されえない。
　　弱いACを使うことで証明でき、フルの強さは要求されない。その同値性の証明は、可算選択公理（“CC”）より真に弱い形で証明できる。
　　(引用終り)

４．時枝記事の可算無限数列で、しっぽが空（φ）にならないのも、これと同じ理屈なんだよね（＾＾

つづく