20/11/01 22:03:27.47 o4gNmK89.net
>>706
つづき
URLﾘﾝｸ(ja.wikipedia.org)
無限公理（むげんこうり、英: axiom of infinity）とは公理的集合論におけるZF公理系を構成する公理の一つで、「無限集合の存在」を主張するものである。エルンスト・ツェルメロによって1908年に初めて提示された。
解釈と帰結
上記の手続きはペアノの公理における自然数の構成方法と
20/11/01 22:03:27.47 o4gNmK89.net
>>706
つづき
URLﾘﾝｸ(ja.wikipedia.org)
無限公理（むげんこうり、英: axiom of infinity）とは公理的集合論におけるZF公理系を構成する公理の一つで、「無限集合の存在」を主張するものである。エルンスト・ツェルメロによって1908年に初めて提示された。
解釈と帰結
上記の手続きはペアノの公理における自然数の構成方法と