嘿，我最近在看一份ZFC集合论的入门资料，里面第一章先讲了公式和语句的概念，接着给出了形式推演的定义：

Formally, we define S ⊢ φ iff (= ”if and only if” =⇔) there is a formal
deduction of φ from S. That is, iff there is a finite sequence φ₁, . . . , φₙ of
formulas such that φₙ is φ, and for each i, either φ_i is in S, or φ_i is a logical
axiom, or φ_i follows from φ₁, . . . , φ_{i−1} by certain rules of inference.

看完这段我就好奇了，这里提到的逻辑公理和特定推理规则在集合论里具体是什么样的？我搜了一圈，要么内容讲得模糊，要么和ZFC关联不大，要么太复杂根本看不懂。后来我找到一个相关的帖子，问题是“集合论的‘标准’推理规则是什么？”，可惜帖子没有正式的回答，底下的评论还看得我有点懵。

我本来只是想求一份集合论适用的逻辑公理和推理规则清单，最好能搭配一个形式推演的例子，但现在还想问问帖子里第一条评论的内容为啥和我的问题相关——那条评论说：“一阶逻辑：常用希尔伯特式公理加肯定前件规则”。另外也求推荐相关的书籍或者资料，提前谢过啦！

备注：内容来源于stack exchange，提问作者Lab