Axiomatizing the new theory required isolating its fundamental principles and proving their interrelations.

To study the foundations of geometry, she constructed an axiomatic system and proved several theorems from its axioms.

During the seminar, she compared several axiomatic systems to determine which best captured the notion of mathematical truth.