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