Набор определенных начальных аксиом и правил вывода является ...

Является ли формальной системой набор определенных начальных аксиом и правил вывода?

Формальная система на основании аксиом и правил вывода создает:

Что является алфавитом?

Любой вычислимый язык является ...

Любой полувычислимый язык является ...

Любой перечислимый язык является ...

Что является осмыслением математического алгоритма?

"Словесный парадокс" является по своей сути:

Что является имитацией осмысления математического алгоритма?

Решение алгоритма без понимания его смысла является ...