based on an arbitrary system of axioms, an essential feature of contemporary