(Q792542)

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

 
edit
    edit
      edit
      edit
        edit
          edit
            edit
              edit