Аксиоматический метод
в решении задач

Аксиоматический метод

Первая лекция цикла занятий на темы «Как доказываем теоремы», «Решаем уравнения» и «Исследуем мир». Главная задача показать как работает аксиоматический метод в решении задач. Обсуждаю стандартные темы – теория множеств, аксиоматика числового поля, аксиоматика Пеано в контексте доказательства теорем, решения уравнений и т.п.


После просмотра лекции полезно самостоятельно доказать на основе аксиом числового поля очевидные соотношения
(-1)(-1)=1. Если ad=0, то либо a=0, либо d=0. Докажите единственность противоположного и обратного элементов.

Также рекомендую посмотреть видео:
1. Как решаем уравнения

2. Как решаем неравенства

3. О векторном произведении и связанных с ним вопросах

Другой вариант

Про классическое измерение посмотрите мультик