axiomatization

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

English[edit]

Etymology[edit]

From axiomatize +‎ -ation.

Pronunciation[edit]

  • (UK) IPA(key): /ˌaksɪəmətʌɪˈzeɪʃn̩/

Noun[edit]

axiomatization (plural axiomatizations)

  1. The reduction of some system or concept to a set of axioms.
    • 2012, George Dyson, Turing's Cathedral, Penguin 2013, p. 49:
      The axiomatization of set theory formed the foundations, mathematically, of everything else.
  2. The result of establishing a concept within a system of axioms; axiomatic system.

Related terms[edit]