形式体系には形式言語があり、その形式言語は基本的な記号(シンボル)で構成される。