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

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

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