¬∃x(∀y(y∈x↔y∉y))@programming.dev to Wikipedia@lemmy.worldEnglish · 8 days agoSN 1054en.wikipedia.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSN 1054en.wikipedia.org¬∃x(∀y(y∈x↔y∉y))@programming.dev to Wikipedia@lemmy.worldEnglish · 8 days agomessage-square0linkfedilink
