  Lawvere's axiomatization of topos theory and Voevodsky's axiomatization of
heigher homotopy theory exemplify a new way of axiomatic theory building, which
goes beyond the classical Hibert-style Axiomatic Method. The new notion of
Axiomatic Method that emerges in Categorical logic opens new possibilities for
using this method in physics and other natural sciences.
