You are here: irt.org | FOLDOC | complete theory
<logic> An abstract logical theory in which all true statements have formal proofs within the theory.
(1998-07-05)
Nearby terms: complete metric space « completeness « complete partial ordering « complete theory » complete unification » Complex Instruction Set Computer » complexity
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