Логика первого порядка с равенством