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

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

1 ответ



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

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

1 ответ
Как вы относитесь к искусственному созданию людей путем 3D печати? Тогда и жену не нужно будет искать
9 года назад от Алинка Потапова
2 ответов
Что больше 0, 5 мл или 0, 50мл Что больше ?
8 года назад от Петр Иванович
1 ответ
С чем связана синхронность вращения крупных спутников планет Солнечной системы? Как они так умудрились?
8 года назад от ffr