Who can teach me completeness theorem? Thanks! Recommending a book is also welcome.
More specifically, it says that if a statement is true in all models of a theory, then it has a proof from this theory.
Who can teach me completeness theorem? Thanks! Recommending a book is also welcome.
More specifically, it says that if a statement is true in all models of a theory, then it has a proof from this theory.