¬∃x(∀y(y∈x↔y∉y))@programming.dev to Wikipedia@lemmy.worldEnglish · 4 days agoIllegals Programen.wikipedia.orgexternal-linkmessage-square0linkfedilinkarrow-up17arrow-down11
arrow-up16arrow-down1external-linkIllegals Programen.wikipedia.org¬∃x(∀y(y∈x↔y∉y))@programming.dev to Wikipedia@lemmy.worldEnglish · 4 days agomessage-square0linkfedilink