J. Foukzon and E. Men’kova, “There is No Standard Model of ZFC and ZFC 2”, Advances in Mathematics and Computer Science Vol. 1, pp. 26-75, Jul. 2019.