completeness

Anglisy

Anarana iombonana

completeness

1. (lojika) Ny toetra mampiavaka ny teoria lojika izay isaky ny wff dia manan-kery dia tsy maintsy ho teorema ihany koa. Raha atao an'ohatra, mamela ny 'T' maneho ny teoria ao anatin'ny lojika 'L', dia azo aseho amin'ny endrika fananana fa isaky ny marina ny $T\vDash \phi$, dia tsy maintsy marina koa ny $T\vdash \phi$, ho an'ny wff 'φ ' rehetra amin'ny lojika 'L'
2. toe-javatra na fepetra maha-feno

Tsiahy

• Ity pejy ity dia nadika avy amin'ny pejy completeness tao amin'ny Wikibolana amin'ny teny anglisy. (lisitry ny mpandray anjara)