axiom system

EnglishEdit

NounEdit

axiom system ‎(plural axiom systems)

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

SynonymsEdit