Axiomatic modelling provides a rigorous framework for investigating the biomechanical behavior of the vertebral skeleton. By defining fundamental assumptions governing skeletal anatomy, and their interactions, axiomatic models can predict various loading conditions and quantify the resulting forces.