19/08/05 06:46:02.04 WoI6p41x.net
ええ （＾＾
>>215
>そもそも「無限公理の証明」と
>「無限公理が偽であることの証明」は
>全然異なるが
下記”独立性
無限公理はZF公理系において独立した公理である。すなわちZF公理系の他の公理たちから導くことも反証することもできない。”
なので、無限公理の”独立性”から、証明も反証することもできません（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
無限公理
(抜粋)
「無限集合の存在」を主張するものである。エルンスト・ツェルメロによって1908年に初めて提示された。
独立性
無限公理はZF公理系において独立した公理である。すなわちZF公理系の他の公理たちから導くことも反証することもできない。
(引用終り)