RE: the chicken and the egg problem

:This doesn't seem right to me. Definitions have to be based on 
:previously determined items, not on
:what yet has to follow. If one throws away this kind of 
:reasoning, one can state almost anything:

They're not really axiomatic definitions, more like self referential data
structures.

-Bill