>если существует утверждение о том, что X разложимо на два простых множителя, то эквивалентно ли это утверждение указанию этих двух множителей?

Я не называл бы это эквивалентностью, это скорее тавтология (тождественная истинность). Как Х есть Х. 1=1, к примеру 3 * 5 = 15 и 15 = 3 * 5 - тавтология, в случае 3 * 5 = (символ эквивалентности) 1 + 14 - эквивалентность, примитивный такой пример (в логике обычно буквами обозначают), хотя Фреге задавался вопросом истинности равенства 1=1. На этот счет у меня есть такое мнение, если 1 (единицу как число) рассматривать как "единственность" (единичность), то как возможна истинность данного равенства 1=1 (Чему равен Бог?)