A Formal System of Axiomatic Set Theory in Coq | IEEE Journals & Magazine | IEEE Xplore