23/12/13 21:45:33.59 iB9NEBuP.net
直観主義でラッセルのパラドックスが回避できるってなんだよ
a = { x | x ∉ x }という集合の存在から矛盾が証明できないってこと？わいはできるぞ
23/12/13 21:45:33.59 iB9NEBuP.net
直観主義でラッセルのパラドックスが回避できるってなんだよ
a = { x | x ∉ x }という集合の存在から矛盾が証明できないってこと？わいはできるぞ
23/12/13 21:45:33.59 iB9NEBuP.net
直観主義でラッセルのパラドックスが回避できるってなんだよ
a = { x | x ∉ x }という集合の存在から矛盾が証明できないってこと？わいはできるぞ