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