\* Systematic Explicit Mathematics 
 * [1] F. Feferman: A language and axioms for explicit mathematics.
 *     Lecture Notes in Mathematics, 450. Springer (1975). pp 87-139. 
 *\

\* Development started: 2010 Feb 20 *\

\graph Z3

\sorts Prop, Obj, Term