3 ms·

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

• d-lisp 2y ago
  True, then it doesn't differ from Kuratowski's encoding or am I missing something ?