Koncepta informācija
Prioritārais termins
Pilnības teorēma
Plašāks koncepts
Šaurāki koncepti
Alternatīvie nosaukumi
- 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
Piezīme
- Source: Podnieks, K. Matemātiskā loģika - 2020.11.02.
Identifikators
- LNC10-000297958
Citās valodās
-
Completeness theorem
English
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}}