19/10/10 22:50:02.93 SRlrr+Hl.net
>>195
つまり、あなたが否定してるのは無限公理ではなく空集合の公理な訳ですか？？？
∃A∀x(¬x∈A)
これを認めないわけですね？
19/10/10 22:50:02.93 SRlrr+Hl.net
>>195
つまり、あなたが否定してるのは無限公理ではなく空集合の公理な訳ですか？？？
∃A∀x(¬x∈A)
これを認めないわけですね？
19/10/10 22:50:02.93 SRlrr+Hl.net
>>195
つまり、あなたが否定してるのは無限公理ではなく空集合の公理な訳ですか？？？
∃A∀x(¬x∈A)
これを認めないわけですね？