This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.

中文翻译：

---

基金会

这是即将出版的计算证明助手手册的数学逻辑和基础章节的草稿。