Several different axiomatisations of the theory were proposed during the conference.

The philosopher proposed an axiomatisation of the new logical system to clarify its foundations.

The theory is axiomatisable, but finding a finite axiom set that captures all models remains challenging.

The mathematician spent the afternoon axiomatising the new theory to ensure its foundations were consistent.

After years of debate, the committee axiomatised the principles underlying the new framework.

The mathematician axiomatises the new theory in a short but rigorous chapter.

To ensure clarity across disciplines, the mathematician decided to axiomatise the theory rather than rely on intuitive explanations.