January 2, 2010

AXEC04c Axioms and Definitions