For Von Neuman: 1 = Ø U {Ø} = {Ø} 2 = 1 U {1} = {Ø,{Ø}} | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		epgui 12 months ago \| parent \| context \| favorite \| on: Numbers Are Leaves For Von Neuman: `1 = Ø U {Ø} = {Ø} 2 = 1 U {1} = {Ø,{Ø}}`

d-lisp 12 months ago [–]

True, then it doesn't differ from Kuratowski's encoding or am I missing something ?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact