17/10/01 17:47:38.91 RDeomlGb.net
ｽﾚﾘﾝｸ(math板:793番),
ｽﾚﾘﾝｸ(math板:795番)
> 無限公理とは可能無限公理にすぎないのである(笑
>
> いくらでも作れるが無限個は作れない(笑
> どんなに作っても有限個である(笑
へえー可能無限公理にすぎないのか。それ証明しろ。
無限公理の主張∃A（φ∈A ∧ ∀x∈A（x∪{x}∈A））が可能無限公理に等しいことを証明しろや。
そもそも可能無限公理ってなんだよ？まずはその公理をきちんと書き下してみろや。
お前の数学における「公理」「用語の定義」をきちんと提示したうえで、
「無限公理とは可能無限公理にすぎない」を証明しろ。
これは数学の基本。
どんな公理で、使う用語はどのように定義されているのか。
すべてはっきりさせてから喋れ。
�