11
$\begingroup$

As per the title, why does the ability to generate a model from axioms prove they are consistent?

3 Answers 3