Hacker News new | ask | show | jobs
by openquery 531 days ago
2 = {0, 1} = {Ø,{Ø}} by the Von Neumann ordinal definition.