# 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 2015-06-02 18:13:52*

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

**Authors:** Jaykov Foukzon

**Comments:** 15 Pages. British Journal of Mathematics & Computer Science DOI: 10.9734/BJMCS/2015/16849

In this article we derived an importent example of the inconsistent countable set in second order ZFC (ZFC_2)with the full second-order semantics. Main results is:(i) ~Con(ZFC_2),(ii) let k be an inaccessible cardinal and H_k is a set of all sets having hereditary size less then k, then ~Con(ZFC+V=H_k).

**Category:** Set Theory and Logic