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