Определенно точная, ибо даже саму внутреннюю неточность она определяет заранее, обосновывает и никогда не пренебрегает ей. Математика никогда не выдаст частный случай за общий, никогда не построит теорему или вывод на не полной выборке, никогда не сведёт выражение отбросив элементы из вычисления.