Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

axiom

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

©2018 Martin Webb