axiomatization

From axiomatize +‎ -ation.

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

axiomatization (countable and uncountable, plural axiomatizations)

1. The reduction of some system or concept to a set of axioms.
   • 2012, George Dyson, Turing's Cathedral, Penguin, published 2013, page 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.

• axiom
• axiomatic
• axiomatize