你想弄懂什么？

形式系统由四个主要部分组成：一组符号、一组公理、用于形成有效表达的规则（形成规则）以及用于推导结论的推理规则。它们共同允许系统地证明定理。

适用条件：适用于旨在产生已证明定理的逻辑框架。；需要明确的符号、公理、形成规则和推理规则。

形式系统由四个主要部分组成：一组符号、一组公理、用于形成有效表达的规则（形成规则）以及用于推导结论的推理规则。它们共同允许系统地证明定理。

适用条件：适用于旨在产生已证明定理的逻辑框架。；需要明确的符号、公理、形成规则和推理规则。