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