infinity)とは公理的集合論におけるZF公理系を構成する公理の一つで、「無限集合の存在」を主張するものである。エルンスト・ツェルメロによって1908年に初めて提示された。外部リンク定義[編集]ZF公理系における公式な定義は次の通りである。A))}解釈と帰結[編集]上記定義では「無限」という言葉は用いられていないが、この公理によって(少なくとも1つの)無限集合の存在が保証されることになる。以下の性質を満たすことを確認できる。