19/10/12 08:26:28.55 ECN1Py89.net
安達さんの空集合の話ちょっとわかった気がするんですけど、やっぱりΦが存在しないと思ってるのですか？安達さんは
だから存在しないΦ使った式は全て間違いだと
その場合、やはり安達さんが認めてないのは
無限公理∃A(Φ∈A∧∀x∈A(x∪{x}∈A))
ではなく
空集合の公理∃A∀x(¬x∈A)
な訳ですけど
19/10/12 08:26:28.55 ECN1Py89.net
安達さんの空集合の話ちょっとわかった気がするんですけど、やっぱりΦが存在しないと思ってるのですか？安達さんは
だから存在しないΦ使った式は全て間違いだと
その場合、やはり安達さんが認めてないのは
無限公理∃A(Φ∈A∧∀x∈A(x∪{x}∈A))
ではなく
空集合の公理∃A∀x(¬x∈A)
な訳ですけど