Как называется математическое утверждение справедливость которого устанавлевается путем рассуждения

Математическое утверждение, справедливость которого устанавливается путем рассуждения (теорем/ свойств и т.д.) , называется доказательством.