You are here: irt.org | FOLDOC | axiom
<logic> A well-formed formula which is taken to be true without proof in the construction of a theory.
Compare: lemma.
(1995-03-31)
Nearby terms: AWT « aXe « AXIOM « axiom » AXIOM* » Axiomatic Architecture Description Language » axiomatic semantics
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL