25/08/24 17:43:45.48 rTm6xTpy.net
>>123
N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
は∩の添え字範囲が書かれてないから不明確だあああああ
と喚くアホが述語論理分かってる訳無いじゃんｗ とっくにバレてんだよアホ
25/08/24 17:43:45.48 rTm6xTpy.net
>>123
N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
は∩の添え字範囲が書かれてないから不明確だあああああ
と喚くアホが述語論理分かってる訳無いじゃんｗ とっくにバレてんだよアホ