Koncepta informācija
Šajā valodā šim konceptam nav termins
Prioritārais termins
Pilnības teorēma (lv)
Plašāks koncepts
Šaurāki koncepti
- Gēdela teorēma (lv)
Piezīme
- Source: Podnieks, K. Matemātiskā loģika - 2020.11.02.
Identifikators
- LNC10-000297958
Citās valodās
-
Completeness theorem
English
-
Latvian
-
Gēdela pilnības teorēma
-
Gēdela teorēma par pilnību
-
Pilnības teorēmas
-
Predikātu loģikas pilnības teorēma
-
Teorēma, pilnības
URI
http://dati.lnb.lv/onto/subject/LNC10-000297958
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}