As per the title, why does the ability to generate a model from axioms prove they are consistent?
Why does creating a model show consistency?
11
$\begingroup$
model-theory