Author(s)

Jaykov Foukzon¹, Elena Men’kova²

¹Department of Mathematics, Israel Institute of Technology, Haifa, Israel.
²Lomonosov Moscow State University, Moscow, Russia.

In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models or nonstandard model with standard part. A possible generalization of Löb’s theorem is considered. Main results are: 1) , 2) , 3) , 4) , 5) let k be inaccessible cardinal then .

Gödel Encoding, Completion of ZFC, Russell’s Paradox, ω-Model, Henkin Semantics, Full Second-Order Semantic, Strongly Inaccessible Cardinal

Foukzon, J. and Men’kova, E. (2019) There Is No Standard Model of ZFC and ZFC₂ with Henkin Semantics. Advances in Pure Mathematics, 9, 685-744. doi: 10.4236/apm.2019.99034.