As this expanded name suggests, it is designed in such a way as to emphasize its close relationship to, and solid foundation in, the discipline of predicate logic, q.v.

• 正如其全称所示：如此设计，旨在强调其与谓语逻辑原理的密切关系和及其坚实的基础地位。