威弗里德·西格;帕特里克·沃尔什 自然形式化:导出ZF中的Cantor-Bernstein定理。 (英语) Zbl 1532.03015号 版本符号。日志。 14,编号1,250-284(2021).MSC公司:03B35型 07年3月 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{W.Sieg}和\textit{P.Walsh},Rev.Symb。日志。14,编号1,250--284(2021;Zbl 1532.03015) 全文: 内政部
安德森,Line Edslev 数学证明中可接受的差距。 (英语) Zbl 1475.00007号 合成 197,第1期,233-247(2020).MSC公司:00A30型 PDF格式BibTeX公司 XML格式引用 \textit{L.E.Andersen},综合197,No.1,233--247(2020;Zbl 1475.00007) 全文: 内政部