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

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