Математика: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Строка 132:
Предлагается рассматривать все математические объекты в рамках теории множеств, чаще всего с [[Аксиоматика теории множеств|аксиоматикой Цермело — Френкеля]] (хотя существует множество других, равносильных ей).
Данный подход считается с середины XX века преобладающим, однако в действительности большинство математических работ не ставят задач перевести свои утверждения строго на язык теории множеств, а оперируют понятиями и фактами, установленными в некоторых областях математики. Таким образом, если в теории множеств будет обнаружено противоречие, это не повлечёт за собой обесценивание большинства результатов.
==== Формализм ====
|