Формализовать-то нетрудно. Но если специалисты в теме, к которой относятся доказательства, в преобладающей массе не считают их доказательствами, то ценность такой формализации крайне сомнительна.

Монстропост про розу, сорри, читать не стала: вынуждена выпасть из всех дискуссий на ффми до мая месяца, поэтому нет смысла вникать и писать ответ, зная, что ответ на ответ я точно не увижу (