axiomatisations
/ˌæksiəmətəˈzeɪʃənz/
noun
- Multiple instances or types of the process of stating basic rules or principles for a system of ideas.
- Different axiomatisations of set theory have been proposed over the years.
- The textbook compares several axiomatisations of arithmetic.
- Researchers continue to develop new axiomatisations for various branches of mathematics.