>>34
>なぜZFで和集合の公理が必要か、なぜ積集合の公理が不要か分かる？
>にも答えられるよね　答えてみて

Terence Tao “post-rigorous”“big picture”https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/ >>6

それは、なぜ無限公理が必要かと同じだよ
公理的集合論を、レゴのブロック遊びと思いなよ

いろんな 積み木を作りたい
無限積み木を作りたい

そのときに、無限公理という レゴのブロックを公理として導入しなければ
無限積み木が できないからだ

逆に 積集合は 既にある他のレゴのブロックを組み合わせれば
できるってことだね

どうやって？
さあ？ 検索するか あるいは いまどき AIさんに聞け！　君はGrok派だったなｗ　；ｐ）