1 tool tagged "set-theory".
Von Neumann Universe Drawer
Print the first N von Neumann ordinals in labeled and (for small counts) fully recursive set notation.