NLL subject authority ontology

Prioritārais termins

Completeness theorem

Plašāks koncepts

Šaurāki koncepti

Piezīme

  • Source: Podnieks, K. Matemātiskā loģika - 2020.11.02.

Identifikators

  • LNC10-000297958

Citās valodās

Latvian

  • Pilnības teorēma
  • 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

Lejuplādējiet šo konceptu