Утверждение — это программная конструкция, в которой разработчик заявляет («утверждает») условие, которое, по его мнению, всегда будет истинным. Если условие оценивается как ложное на некоторых языках, генерируется исключение, на других печатается сообщение, а на других программа перестает работать.