09 теорема о корректности штопора

понятия: - выполнимость - непротиворечивость - общезначимость - логическое (семантическое) следование - независимость формулы теорема: - о корректности ИП (“штопор не врет“) - непротиворечивость выполнимой теории - модели для незвисимой формулы