Формальная система аксиом и правил вывода — 10 букв

Ответ на вопрос «Формальная система аксиом и правил вывода» (10 букв): ИСЧИСЛЕНИЕ.

Разгадать по буквам

10 букв

10 букв. Открывайте ответ по одной букве.

Режим без спойлера: ответ на странице скрыт, пока вы не откроете все буквы.

Ответ ИСЧИСЛЕНИЕ подошёл?

Почему ИСЧИСЛЕНИЕ

Исчисление включает алфавит символов и правила построения формул. Из исходных аксиом по установленным правилам выводят новые утверждения.

Помогло объяснение?