Формальная система считается заданной, если

  • выделено множество аксиом
  • задан алфавит
  • задано множество правил вывода
  • определено, какие именно выражения считать формулами

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