| Definition: | | A finite von neumann ordinal. The von Neumann integer N is a finite set with N elements which are the von Neumann integers 0 to N-1. Thus 0 = =
1 = 0 = {}
2 = 0, 1 = {, {}}
3 = 0, 1, 2 = {, {}, {, {}}}
... The set of von Neumann integers is infinite, even though each of its elements is finite. |