# Consistency first-order theories

is it true that any consistent first-order theory has a model?

In case of affirmative response:

1) Is it the Godelian completeness proof?

2) Is there a standard strategy for constructing set-theoretic models for consistent first-order theories?

Tahnks.