Nem ismerek ilyen eljárást, és nem értem miért kellene formalizálni. Én matematikus vagyok, a matematikában pedig eleve minden rendesen formalizálva van.