Признак равенства: Основы математической логики