A long time ago there was some dicussion of creating a "foundation" for AXIOM; this was along about 2005.
I would like to resume that discussion in the context of using AXIOM as a possible sub-part of a proposal originally mentioned in an AGI/BICA draft paper. Gene
