There are various axiomatisations of the mathematical theory.

The concept of causality can be axiomatised in this framework.

She is axiomatising the theory.

He wants to axiomatise the theory.

The mathematician axiomatises the theory.

This mathematical concept is axiomatisable.

The axiomatisation of the theory was presented in the lecture.