Models of axiomatic systems