×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
中国科学院数学与系统科学研究院期刊网
Electronic ISSN 1559-7067 Print ISSN 1009-6124
CN 11-4543/O1
Toggle navigation
JSSC
Home
About Journal
Editorial Board
This Editorial Board
Youth Editorial Board
Instruction
Subscription
Download
News
Contact Us
中文
A Comparative Review of ZFC, NBG, and MK Axiom Systems: Theoretical Foundations and Formalization in Coq
CHEN Si, YU Wensheng
Journal of Systems Science & Complexity . 2025, (
): 0 .
