A Completeness
<ol style="margin: 0px; padding: 0px 0px 0px 2.25em; border: 0px; font-variant-numeric: inherit; font-variant-east-asian: inherit; font-stretch: inherit; line-height: inherit; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Lato, Helvetica, Arial, sans-serif; vertical-align: baseline; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; color: rgb(34, 34, 34);"><li style="margin: 0px 0px 10px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">the state or condition of being <a href="https://en.m.wiktionary.org/wiki/complete" title="complete" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161);">complete</a></li><li style="margin-top: 0px; margin-right: 0px; margin-bottom: inherit; margin-left: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">(</span><span class="ib-content" style="margin: 0px; padding: 0px; border: 0px; font-style: italic; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/wiki/logic" title="logic" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161);">logic</a></span><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">)</span> The property of a logical <a href="https://en.m.wiktionary.org/wiki/theory" title="theory" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161);">theory</a>that whenever a wff is <a href="https://en.m.wiktionary.org/wiki/valid" title="valid" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161);">valid</a> then it must also be a <a href="https://en.m.wiktionary.org/wiki/theorem" title="theorem" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161);">theorem</a>. Symbolically, letting <i style="margin: 0px; padding: 0px; border: 0px; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">T</i>represent a theory within logic <i style="margin: 0px; padding: 0px; border: 0px; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">L</i>, this can be represented as the property that whenever <span class="mwe-math-element" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; display: none; clip: rect(1px, 1px, 1px, 1px); overflow: hidden; position: absolute; width: 1px; height: 1px; opacity: 0;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle T\vDash \phi }"><semantics><annotation encoding="application/x-tex">{\displaystyle T\vDash \phi }</annotation></semantics></math></span><img width="0" height="0" class="mwe-math-fallback-image-inline image-lazy-loaded" alt="{\displaystyle T\vDash \phi }" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/0cb87af0da61d86d7b806164625a69422ddc7fab" srcset="" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: inline-block; animation: 0.3s ease-in 0s 1 normal none running fadeInImage; width: 6.327ex; height: 2.843ex;"></span> is true, then <span class="mwe-math-element" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; display: none; clip: rect(1px, 1px, 1px, 1px); overflow: hidden; position: absolute; width: 1px; height: 1px; opacity: 0;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle T\vdash \phi }"><semantics><annotation encoding="application/x-tex">{\displaystyle T\vdash \phi }</annotation></semantics></math></span><img width="0" height="0" class="mwe-math-fallback-image-inline image-lazy-loaded" alt="{\displaystyle T\vdash \phi }" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/c44fa9287ed73b5b5e2e7e81f3bdb13f36933958" srcset="" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: inline-block; animation: 0.3s ease-in 0s 1 normal none running fadeInImage; width: 5.732ex; height: 2.509ex;"></span>must also be true, for any wff <i style="margin: 0px; padding: 0px; border: 0px; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">φ</i> of logic <i style="margin: 0px; padding: 0px; border: 0px; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">L</i>.</li></ol><h4 class="in-block" style="margin: 0px; padding: 0.5em 0px; border: 0px; font-variant-numeric: inherit; font-variant-east-asian: inherit; font-stretch: inherit; line-height: 1.3; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Lato, Helvetica, Arial, sans-serif; vertical-align: baseline; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; overflow-wrap: break-word; word-break: break-word; display: table; color: rgb(34, 34, 34);"><span class="mw-headline" id="Synonyms" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: table-cell; width: 272px;">Synonyms</span><span class="mw-editsection" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: table-cell;"><a href="https://en.m.wiktionary.org/w/index.php?title=completeness&action=edit&section=4" title="Edit section: Synonyms" data-section="4" class="mw-ui-icon mw-ui-icon-element mw-ui-icon-minerva-edit-enabled edit-page" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: 1.5em; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); position: relative; min-height: 1.5em; min-width: 3.5em; text-indent: -999px; overflow: hidden; width: 3.5em; max-width: 3.5em; display: block;">Edit</a></span></h4><ul style="margin: 0px; padding: 0px 0px 0px 1em; border: 0px; font-variant-numeric: inherit; font-variant-east-asian: inherit; font-stretch: inherit; line-height: inherit; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Lato, Helvetica, Arial, sans-serif; vertical-align: baseline; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; list-style-position: initial; list-style-image: initial; color: rgb(34, 34, 34);"><li style="margin-top: 0px; margin-right: 0px; margin-bottom: inherit; margin-left: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="ib-brac qualifier-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">(</span><span class="ib-content qualifier-content" style="margin: 0px; padding: 0px; border: 0px; font-style: italic; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">state of being complete</span><span class="ib-brac qualifier-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">)</span><span class="ib-colon sense-qualifier-colon" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">:</span> <span class="Latn" lang="en" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/wiki/completion#English" title="completion" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161);">completion</a></span>, <span class="Latn" lang="en" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/wiki/fulfillment#English" title="fulfillment" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161);">fulfillment</a></span></li></ul><h4 class="in-block" style="margin: 0px; padding: 0.5em 0px; border: 0px; font-variant-numeric: inherit; font-variant-east-asian: inherit; font-stretch: inherit; line-height: 1.3; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Lato, Helvetica, Arial, sans-serif; vertical-align: baseline; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; overflow-wrap: break-word; word-break: break-word; display: table; color: rgb(34, 34, 34);"><span class="mw-headline" id="Antonyms" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: table-cell; width: 272px;">Antonyms</span><span class="mw-editsection" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: table-cell;"><a href="https://en.m.wiktionary.org/w/index.php?title=completeness&action=edit&section=5" title="Edit section: Antonyms" data-section="5" class="mw-ui-icon mw-ui-icon-element mw-ui-icon-minerva-edit-enabled edit-page" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: 1.5em; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); position: relative; min-height: 1.5em; min-width: 3.5em; text-indent: -999px; overflow: hidden; width: 3.5em; max-width: 3.5em; display: block;">Edit</a></span></h4><ul style="margin: 0px; padding: 0px 0px 0px 1em; border: 0px; font-variant-numeric: inherit; font-variant-east-asian: inherit; font-stretch: inherit; line-height: inherit; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Lato, Helvetica, Arial, sans-serif; vertical-align: baseline; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; list-style-position: initial; list-style-image: initial; color: rgb(34, 34, 34);"><li style="margin-top: 0px; margin-right: 0px; margin-bottom: inherit; margin-left: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="Latn" lang="en" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/wiki/incompleteness#English" title="incompleteness" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161);">incompleteness</a></span>, <span class="Latn" lang="en" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/wiki/unfinishedness#English" title="unfinishedness" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161);">unfinishedness</a></span>; see also <a href="https://en.m.wiktionary.org/wiki/Thesaurus:incompletion" title="Thesaurus:incompletion" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161);">Thesaurus:incompletion</a></li></ul>