おはにゃー！。 これは、くりーむ Advent Calender 20日目の記事です。 くりーむ Advent Calendar 2024 - Adventar 0. やること この記事では次のことを示します : 示したいこと 公理的集合論における和集合公理は、その他の公理から導くことはできない。 こ…