> It basically states that any "true" statement is provable. It states that every statement that is true in all models of a first-order theory is provable with

> It basically states that any "true" statement is provable. It states that every statement that is true in all models of a first-order theory is provable within the theory.