An axiomatic system is a set of axioms and rules that are used to derive theorems.

Axiomatic systems are fundamental in mathematics.

The concept of causality can be axiomatised in this framework.

She is axiomatising the theory.

The concept of a group is axiomatizable.

He wants to axiomatise the theory.

The mathematician axiomatises the theory.

This mathematical concept is axiomatisable.

There are various axiomatizations of the theory.

The axiomatics of mathematics provide a solid foundation for logical reasoning.