Равенство (математика): различия между версиями
| [отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Amirobot (обсуждение | вклад) м r2.5.2) (робот добавил: ur:Equality (mathematics) |
|||
Строка 36:
между элементами одного [[тип (математика)|типа]] (попросту говоря, внутри определённого множества). [[Логицизм|Логицисты]] (сначала в логике предикатов [[Фреге, Фридрих Людвиг Готлоб|Фреге]], затем в рамках теории типов) опирались на определение равенства, похожее на теоретико-множественное, но рассматривающее отношения с другой стороны:
: <math>x = y\ \ \Leftrightarrow\ \ \forall P\colon\ P(x)\ \Leftrightarrow\ P(y)</math>
То есть, для равенства двух объектов [[необходимо и достаточно]], чтобы любой [[предикат]],
Некоторые формальные теории уклоняются от определения равенства, считая его изначально заданным отношением эквивалентности.
| |||