• Home
  • axiomatic system

axiomatic system

set of axioms from which some or all axioms can be used in conjunction to logically derive theorems

en-US/ˌæksiəˈmædɪk ˈsɪstəm/
en-GB/ˌæksɪəˈmætɪk ˈsɪstəm/

Categories:

theorysetformal system