Математика: различия между версиями

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