「可算無限集合からの単射が存在する」ことを「無限集合」の定義として採用しちゃいかんの？ ZFの「無限の公理」で要求されてるのもそういう意味での「無限集合」の存在だよね。 「...

数学ってほんと社会の役に立たないだなと思いました。 自然数なんて無限に増やせるんだから無限なのに、それすら証明がないとダメですとか無能の極み。

俺はお前が増田にいることに殴りたくなる

集合の理論に基づいて、この主張を証明します。 「BはAの真部分集合」という仮定により、Bのすべての元はAに含まれ、さらにAは少なくとも1つの元を含むBには含まれないという事実...

何が目的の会話なのかが分からない。スタート地点からゴールがどのくらい遠いのかによって説明の粒度は変わると思う。