19/10/10 22:43:08.69 SRlrr+Hl.net
>>192
∃A(A≠Φ∧∀x∈A(x∪{x}∈A))
で、これから矛盾は出るんですか？
A≠Φにしましたよ
だから公理は証明なんてしませんよ？
ただの議論の出発点です
証明するべきものではありません
19/10/10 22:43:08.69 SRlrr+Hl.net
>>192
∃A(A≠Φ∧∀x∈A(x∪{x}∈A))
で、これから矛盾は出るんですか？
A≠Φにしましたよ
だから公理は証明なんてしませんよ？
ただの議論の出発点です
証明するべきものではありません