# Set Theory and Logic

## 1302 Submissions

[2] **viXra:1302.0137 [pdf]**
*submitted on 2013-02-20 13:01:57*

### Restructuring Logic

**Authors:** Joachim Derichs

**Comments:** 44 Pages.

The outline of a programme for restructuring mathematical logic. We explain what we mean by ‘restructuring’ and carry out exemplary parts of the programme.

**Category:** Set Theory and Logic

[1] **viXra:1302.0048 [pdf]**
*replaced on 2017-12-23 09:04:43*

### Inconsistent Countable Set in Second Order ZFC and Nonexistence of the Strongly Inaccessible Cardinals

**Authors:** Jaykov Foukzon

**Comments:** 61 Pages.

In this article we derived an importent example of the inconsistent countable set in second order ZFC (ZFC_2)with Henkin semantics and with the full second-order semantics. Main results are:
:(i) Let M_st be standard model of ZFC. Then
~Con(ZFC+∃M_st),(ii)~Con(ZFC_2),(iii) let k be an inaccessible cardinal,then ¬Con(ZFC+∃k).

**Category:** Set Theory and Logic