Сама постановка вопроса о "строгости логического доказательства" возвращает нас к кризису оснований математики и может вызвать зубную боль у Н. Н. Непейводы. А мы же не хотим вызывать зубную боль у Н. Н. Непейводы, ведь, верно?
На мой взгляд, вопрос в принципе некорректно поставлен и предполагает доминирование логицизма.
Я же в этом вопросе конвенционалист и исхожу из позиции: "ты прав", "ты прав", "ты прав", и "ты прав". Для меня математика -- это сумка с инструментами, где есть разное: и логика, и творчество, и конструктивизм, и формализм, и эстетика, и досуг и всё-всё-всё. Выбери нужный инструмент и, как завещал Фейнман, "заткнись и считай".