The theory was axiomatizable, allowing researchers to derive all its consequences from a concise set of axioms.

The axiomatizability of the theory was debated by logicians for years before a consensus emerged.

The philosopher compared the axiomatizabilities of different logical systems to determine which principles were most fundamental.