syntactic completeness

<logic> A system is syntactically complete iff there is no unprovable schema B that could be added to the system as an axiom schema without creating simple inconsistency.

Syntactic incompleteness

The failure of syntactic completeness; there is at least one unprovable schema that could be added as an axiom schema without creating simple inconsistency.

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google


Nearby terms: synchronous « syncretism « syntactic « syntactic completeness » syntactic consequence » syntactic tautology » syntactics