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