Область метатеоретических исследований проблем логики. — 10 букв