5.4. Теории первого порядка