Crossmark

A Comparative Review of ZFC, NBG, and MK Axiom Systems: Theoretical Foundations and Formalization in Coq

Published Online: 2026-03-31

Authors

Chen, Si

Yu, Wensheng
License Information

Text and Data Mining valid from 2026-03-31

Version of Record valid from 2026-03-31
More Information

Article History

Received: 13 July 2025

Revised: 18 December 2025

First Online: 31 March 2026

Conflict of Interest

: The authors declare no conflict of interest.

Document is current