Для того чтобы задать формальную логическую теорию, необходимо
определить

  • аксиоматику
  • алфавит
  • математические формулы
  • правила вывода
  • правила синтаксиса
  • символы

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.