Что такое обоснование истинности теоремы?

В составе доказательства (и опровержения) выделяются: тезис доказательства, аргументы, промежуточные допущения и форма доказательства.Тезис доказательства - высказывание, истинность или ложность которого доказывается.Аргументы - высказывания, посредством которых осуществляется доказательство тезиса. В доказательстве аргументы обязательно должны быть истинными.Промежуточные допущения - вс допущения, которые вводятся в процессе рассуждения (дедукции) и устраняются затем при переходе к окончательному результату рассуждения. Эти высказывания могут быть как истинными, так и ложными. Например, в так называемых доказательствах «от противного» в качестве промежуточных допущений вводятся заведомо ложные высказывания.Форма доказательства - логический обоснования тезиса при аргументов (возможно, с использованием промежуточных допущений).