Is there a systematic procedure to construct a model of an axiomatic system from the system itself?
For example given the abstract postulates of a ring we can show that the integers satisfies them and hence this is a model. Of course there are many other types of ring and clearly more general models.
I want to know if there is any systematic algorithm or construction that could derived such models automatically, perhaps given knowledge of simpler mathematical objects like the integers, the reals, complex numbers for example.
Notes:
I'm definitely not expecting an algorithm that works in all circumstances as that is probably impossible like the Halting Problem.
We should not need to assume the axiomatic system is consistent a model can still exist even if the system is inconsistent.
An algorithm that works for a restricted class of axiomatic systems would be interesting.