FC推理系统

公理

重点公理6

定理

定理四全称推广定理，不要求A中V为非自由变元

例子