Глупый вопрос по математике

Есть ли доказательства законов сложения (коммутативности, ассоциотивности и т. д) , а также свойств равенств, вроде прибавления или умножения обоих частей на одно и то же число, или же все это лежит в аксиомах?
10 года назад от Мария Смирнова

1 ответ

0 голосов
Вопрос совсем не глупый. Исторически эти законы были установлены эмпирикой, просто пересчитыванием предметов. И считались аксиомами. Но всегда хочется иметь аксиом как можно меньше. Есть система аксиом Пеано. Вот как доказывается коммутативность на базе этих аксиом (по индукции) :
10 года назад от DKW P

Связанные вопросы

1 ответ
Я в ступоре, помогите
11 года назад от Денис Телиженко
2 ответа
одну вещь никогда не понимал. просто полюбил историю. Объясните толком что значит "до нашей эры" ? например Геродот
14 года назад от Василий Иванович
2 ответа
_зачем лепить " снеговика " ? откудова пошол этот обычай ? _
7 года назад от татьяна малашина