# 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-04-29 04:23:27*

### Inconsistent Countable Set in Second Order ZFC and Nonexistence of the Strongly Inaccessible Cardinals Consistency Results in Topology.

**Authors:** Jaykov Foukzon

**Comments:** 42 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) ~Con(ZFC_2),(ii) let k be an inaccessible cardinal,then
¬Con(ZFC+∃k).

**Category:** Set Theory and Logic