Есть истина, есть правда, есть кривда, а есть и ложь.
Кроме того, есть ещё и аксиомы, принимаемые бездоказательно.
Ну, о кривде я тут говорить не стану, это категория более морально-эмоциональная, нежели логическая.
Некое утверждение можно принять на веру бездоказательно, тогда оно становится аксиомой, несколько из которых потом лягут в основу того базиса, на котором можно строить уже систему утверждений-теорем. теорема уже нуждается в доказательстве, чтобы быть правдивой. Да, конечно бывают случаи, когда в доказательство вклинивается ошибка, её позже находят и тогда это утверждение из статуса доказанного переходит в статус недоказанного. Есть утверждения и ложные, сформулированные 'от противного', но и они нуждаются в доказательстве того, что они ложные.
И так, утверждение может быть доказанным, или не доказанным. Последняя категория делится на принципиальные аксиомы и на те утверждения, которые высказаны, как гипотезы, но доказательства к ним, показывающего их правоту, или ложность - пока не найдено.
На бытовом уровне доказанные утверждения могут называться истинными, ибо даже бинарное логическое утверждение принимает два значения - "истина", или "ложь". Но это всё принятые условности, ибо Истина (именно так, с большой буквы) в более высоком, философском смысле, лежит выше правды, на неком ином уровне.
Для простоты понимания этого, достаточно себе представить, что проекция Истины на различные плоскости понимания даёт различную Правду.
Возвращаясь к вопросу, можно сказать, что - да, на бытовом уровне, истинное и доказанное утверждение - это одно и тоже. Но не более того, не сходя с плоскости бытового понимания. Да тут даже и к философии особо обращаться не нужно, достаточно вспомнить про аксиомы. Их не доказывали, но в данном контексте любой теории, построенной на них, как на базисе, они истинны.