The Fool wrote: > Formal logic is all computer scientist / programmers do. All formal > logic system must have one [or more] axiom, but in math we keep that one > axiom very very simple.
What's the simplest one [or more] axiom you can base a system on? Julia _______________________________________________ http://www.mccmedia.com/mailman/listinfo/brin-l