axiom system

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Noun[edit]

axiom system (plural axiom systems)

  1. A set of axioms or axiom schemata from which theorems can be derived.

Synonyms[edit]