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

complete theory

You are here: irt.org | FOLDOC | complete theory

<logic> An abstract logical theory in which all true statements have formal proofs within the theory.


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

©2018 Martin Webb