> Да, формула верна, при усливии если верны основные аксиомы математеки.
Аксиома -- исходное положение. Как Вы собираетесь проверять верность исходных не требующих доказательств положений арифметики? Относительно чего они могут быть у Вас не верны? Есть какой то опыт на основании которого можно это сделать?
