There is No Standard Model of ZFC and ZFC2
Jaykov Foukzon & Elena Men'kova · Journal of Advances in Mathematics and Computer Science · 2018
In this paper we view the rst order set theory ZFC under the canonical rst order semantics and the second order set theory ZFC2 under the Henkin semantics. Main results are: (i) Let MZFCst be a standard model of ZFC, then ¬Con(ZFC +∃MZFCst ). (ii) Let MZFC2st be a standard model...
Open access
Research Article
10.9734/JAMCS/2018/38773