%0 Journal Article
%T There Is No Standard Model of ZFC and ZFC<sub>2</sub> with Henkin Semantics
%A Jaykov Foukzon
%A Elena Men¡¯kova
%J Advances in Pure Mathematics
%P 685-744
%@ 2160-0384
%D 2019
%I Scientific Research Publishing
%R 10.4236/apm.2019.99034
%X In this article we proved so-called strong reflection principles corresponding to formal theories<em> Th</em> which has omega-models or nonstandard model with standard part. A possible generalization of L<span style=\"white-space:nowrap;\"><em><span style=\"color:#333333;font-family:\" font-size:13px;white-space:normal;background-color:#ffffff;\"=\"\"><span style=\"color:#333333;font-family:&quot;font-size:13px;white-space:normal;background-color:#FFFFFF;\">&amp;#246;</span></span></em></span>b¡¯s theorem is considered. Main results are: 1) <sub><img src=\"Edit_23766ff8-f62e-4cf7-bf5d-bb30af825eb8.bmp\" alt=\"\" /></sub>, 2) <sub><img src=\"Edit_38c38a8a-6aee-4fd3-838e-4b1a1a6f1189.bmp\" alt=\"\" /></sub>, 3) <sub><img src=\"Edit_39195e43-7564-4883-aa10-997f7cbe0604.bmp\" alt=\"\" /></sub>, 4) <sub><img src=\"Edit_5614f588-7c59-445e-892c-44e626f6f6c3.bmp\" alt=\"\" /></sub>, 5) let <em>k</em> be inaccessible cardinal then <sub><img src=\"Edit_ed6e297d-4e88-4e1b-9c76-1b5d668e20da.bmp\" alt=\"\" /></sub>.
%K G&#246
%K del Encoding
%K Completion of &lt
%K i&gt
%K ZFC&lt
%K /i&gt
%K Russell¡¯s Paradox
%K &lt
%K i&gt
%K ¦Ø&lt
%K /i&gt
%K -Model
%K Henkin Semantics
%K Full Second-Order Semantic
%K Strongly Inaccessible Cardinal
%U http://www.scirp.org/journal/PaperInformation.aspx?PaperID=95029