axiomatic system (Q1765)

From MaRDI portal
Revision as of 15:10, 29 July 2024 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
set of axioms from which some or all axioms can be used in conjunction to logically derive theorems
  • axiomatic theory
  • system of axioms
  • set of axioms
Language Label Description Also known as
English
axiomatic system
set of axioms from which some or all axioms can be used in conjunction to logically derive theorems
  • axiomatic theory
  • system of axioms
  • set of axioms

Statements

Identifiers

Wikidata QID
Q792542
0 references
 
    Retrieved from "https://staging.mardi4nfdi.org/w/index.php?title=Item:Q1765&oldid=2643"
    Powered by MediaWiki