Ну потом будут доказывать инвариантными уравнениями верность принятых в физике аксиом (проверенных экспериментально) и граничные известные уравнения в "математике" (с такими же граничными аксиомами), чтобы найти их сходимость или найти то, что может быть применимо к экспериментально НЕпроверяемой материи... | 
