You are looking for a formalization of natural numbers. The one you describe is probably a mangled description of the construction from set theory. AFAIK The natural Lisp construction is from the Peano axioms. A shallow discourse: http://en.wikipedia.org/wiki/Natural_number#Formal_definitions
MvH Dan Andersson _______________________________________________ computer-go mailing list computer-go@computer-go.org http://www.computer-go.org/mailman/listinfo/computer-go/