Нет, не формализовано. Сделать это невозможно. Заявить об этом можно, а сделать невозможно. Элементарные математические методы не основываются на на чьём-то личном мнении. Пусть даже это мнение временно окажется "общепризнанным"... Это ничего не меняет. Математические логика и гармония существуют в окружающем нас мире и после того, как я прекращаю о них думать, говорить, пользоваться ими и обращать внимание...
Нужен пример? - Плеяды великих физиков, химиков и математиков рождались, жили и умирали, но соотношения в распределении электронов на "орбиталях" в атоме не изменилось... И больше того, - оно было таковым в атоме и до того, как мир узнал о этих количественных соотношениях...