As an anonymous user, you can only add new data. If you would like to also modify existing data, please create an account and indicate your languages on your user page.

completezza

Jump to: navigation, search
  •  Language: Italian
      •  completeness[Edit] : An attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system.
        •  Definition
          LanguageText
          CastilianAtributo de los sistemas lógicos que están constituidos de manera que se produce una contradicción al introducirse una proposición que no puede ser derivada de los axiomas del sistema.
          EnglishAn attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system.
          ItalianAttributo di un sistema logico che è costituito in modo tale che una contraddizione sorge se viene introdotta una proposizione che non può essere dedotta dagli assiomi del sistema.
        •  Synonyms and translations
          ExpressionAnnotation
          LanguageSpelling
           Castiliancompletitudshow ▼
           Castiliancompletudshow ▼
           Englishcompletenessshow ▼
           GermanVollständigkeitshow ▼
        •  Semantic annotations
          PropertyValue
          hypernymlogic