Равенство порождает сложные вопросы, на которые не совсем легко ответить... a = a и a = b - это, очевидно, утверждения разной познавательной ценности; a = a имеет априорное значение и, согласно Канту, должно быть обозначено как аналитическое, тогда как утверждения вида a = b часто содержат очень ценные расширения наших знаний и не всегда могут быть установлены априорно". Открытие того, что восходящее солнце каждое утро не новое, а всегда одно и то же, было одним из самых плодотворных астрономических открытий. Даже сегодня идентификация малой планеты или кометы не всегда является само собой разумеющейся. Если бы мы рассматривали равенство как отношение между тем, что обозначают имена "a" и "b", то казалось бы, что a = b не может отличаться от a = a (т.е. при условии, что a = b истинно). Тем самым будет выражено отношение вещи к самой себе, причём такое, где каждая вещь относится к самой себе, но не к какой-либо другой вещи.