История изменений
Исправление Iron_Bug, (текущая версия) :
таки нет. аксиомы - это набор взаимно-неисключающих произвольных логических утверждений. в общем, аксиомы - это как выбранный репер в подпространстве логических утверждений. что-то вроде. и от их выбора зависит построение теории. но выбор может быть произвольным. главное, чтобы они друг другу не противоречили и не являлись дублирующими (хотя второе не страшно, просто немного избыточно).
Исходная версия Iron_Bug, :
таки нет. аксиомы - это набор взаимно-неисключающих произвольных логических утверждений. в общем, аксиомы - это как выбранный репер в подпространстве логических утверждений. что-то вроде. и от их выбора зависит построение теории. но выбор может быть произвольным. главное, чтобы они друг другу не противоречили и не являлись излишними (хотя второе не страшно, просто немного избыточно).