completeness
(Q15846555)
fundamental concept in metalogic, and the term may be used without qualification with differing meanings depending on the context within mathematical logic
fundamental concept in metalogic, and the term may be used without qualification with differing meanings depending on the context within mathematical logic
Language:
Current Data About
completeness
other details
aliases |
syntactically complete semantically complete syntactical completeness semantical completeness |
description | fundamental concept in metalogic, and the term may be used without qualification with differing meanings depending on the context within mathematical logic |
External Links
(P646) |
/m/010f8ptj
|
(P1296) |
0170250
|
(P1417) |
topic/completeness-logic
|
(P3827) |
semantic-completeness
|
(P6366) |
56107247
|
(P12385) |
completesa
|