A well-formed formula which is taken to be true
without proof in the construction of a theory.
Last updated: 1995-03-31
AXIOM ♦ axiom ♦ AXIOM* ♦ Axiomatic Architecture Description Language
Try this search on
Updated: Tue, 16 Oct 2018 22:24:25 GMT
Imperial College Department of Computing
Copyright Denis Howe 1985